Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3814839

Jump to:navigation, search

zbMath0663.68103MaRDI QIDQ3814839

Fariba Sadri

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

database temporal logic logic programming time structure of the occurrence of events

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Information storage and retrieval of data (68P20) Theory of software (68N99)

Related Items (2)

Time representation: A taxonomy of temporal models ⋮ Verification of reactive systems using temporal logic with clocks

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3814839&oldid=29988618"