{"entities":{"Q599807":{"pageid":601583,"ns":120,"title":"Item:Q599807","lastrevid":42598320,"modified":"2025-07-04T12:16:36Z","type":"item","id":"Q599807","labels":{"en":{"language":"en","value":"Is the semantics of branching structures adequate for chronological modal logics?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3645056"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599807$2471EAE2-89F8-459B-873B-376FB225A81B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae967f30b2b0e6956ecaaadf197f917c0ad9ad09","datavalue":{"value":{"text":"Is the semantics of branching structures adequate for chronological modal logics?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q599807$7407ACDA-7E29-4D90-A942-6893BDD6C745","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d8d725620f6c2526889fe73f7354b7eae43ffcb","datavalue":{"value":"0415.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599807$069C4B5D-B6DF-4D75-8653-6673C8F9617A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acfd903f25c08705b6ade1a7b25f4cb8ea3bd4e9","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599807$0C4CC9C2-1055-47E4-9DD6-79D3FBD5FE26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599807$33B02092-DE94-49BF-A202-3A2F43D950F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q599807$86E5412B-35F5-4AA3-A764-CB179EEE2D7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599807$8EFCDDEC-8C83-4960-B9CB-ADA3A1DB9E21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3df155214a5dbd0850071cc68f0918b8266e352c","datavalue":{"value":"3645056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599807$55141DF3-058C-4B91-91EC-571EC41B1D4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acf853cff824f1430a9df26dace81179a6fc1142","datavalue":{"value":"Ockhamist tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q599807$FF6027DE-0C9C-45DF-A708-77503F43EA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q599807$498F080C-F85C-4E4B-9089-E0603F07B028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb770b4b29e756b8b08df81d6e7e4c2204fb501a","datavalue":{"value":"branching and causal strustures","type":"string"},"datatype":"string"},"type":"statement","id":"Q599807$613E437A-9802-4540-BF3A-254F1C6BE6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd49eaa402407c98be68608ef7dc24a70d0dc5ac","datavalue":{"value":"nondeterministic time","type":"string"},"datatype":"string"},"type":"statement","id":"Q599807$C94E3337-C068-47AF-BB84-720AFFA15D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04411f225978d7f54f163a99be92746d927ee3e","datavalue":{"value":"chronological modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q599807$EBE89688-4B59-4BE3-B14B-B0FDE85B2699","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599807$1A9BF5BB-5903-4B44-9E19-A3B7EA134ABD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:599807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:599807"}}}}}