{"entities":{"Q789895":{"pageid":791743,"ns":120,"title":"Item:Q789895","lastrevid":64360761,"modified":"2026-04-11T19:20:06Z","type":"item","id":"Q789895","labels":{"en":{"language":"en","value":"The temporal logic of branching time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3846862"}},"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":"Q789895$BBB77F07-413F-43AA-A2AE-BE39741BD56A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0ad43da1d3446891862968acd408303d77e124c","datavalue":{"value":{"text":"The temporal logic of branching time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789895$E9198AD4-1CA1-47DA-BEF4-6ABD1DE5090C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c701aa92da02068c92d98f91421fb4cc92d34847","datavalue":{"value":"0533.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789895$4677A7D6-5C33-4D44-814E-E02F187ED900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fd79797999fd1542ec40e316071ee673416c79f","datavalue":{"value":"10.1007/BF01257083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789895$11E40F42-9ECC-454F-9302-B30803E83778","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f471060a62d9787d70f647fb18a25f3a15400d2f","datavalue":{"value":{"entity-type":"item","numeric-id":213481,"id":"Q213481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$0C64D78B-D73D-4C43-A968-4D08E83698DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$FC8A1C4F-5B9D-4A36-8694-36AF316851B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$7D9EE52B-9758-493E-BBF8-E1D00FE86404","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$CDEEF43E-50DA-42F7-8B14-E10DAD080D4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q789895$41DA1BBA-C486-4A69-9D1B-809AEB9D2DCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789895$E1AA1440-719A-44F7-BF54-86E0D061CD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789895$E53A21BE-43D1-41D8-BDEB-E01F87350F11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd012c135721c00fec22172c6907403b3a74ce0b","datavalue":{"value":"3846862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789895$5014CA94-0B14-40A9-8555-A2C1E3528B25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3300d494d834018bd4caaa8717cf9394d7055b92","datavalue":{"value":"reasoning about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q789895$09F0B0CC-8FC5-4912-B0FF-DE798EC9C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q789895$4C7DCB71-8999-45C3-8DCE-BD4601D897C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988953d5fc640bd6dc9e95fb47e9d371f63b4c7","datavalue":{"value":"branching operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q789895$F6736FB1-1F80-402F-B594-7422A1026785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205ba644ba74fc21c12c5cc76b4f5713fe9b52c6","datavalue":{"value":"tree of all possible computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q789895$E529E0E2-3DC4-4FA2-88F6-A73D7733C633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b905c327e61cd80ffe8c2cd4f291b6beea43700e","datavalue":{"value":"exponential decision procedure for satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q789895$94E8FAEF-04E3-4209-B625-4E7707714F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q789895$114AD3FC-57E6-4889-BBF0-08202FCF721B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2399a275dd58c49b280cb046711897ab5f02014","datavalue":{"value":"completeness of an axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q789895$A226E7A5-5DED-4531-83EF-138D3B93A350","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":"Q789895$2157D00C-7E5D-4A32-9E12-5FA0512C22EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36197f8fd279b619e4ed6eeb98e09a53a656e7","datavalue":{"value":{"entity-type":"item","numeric-id":4187288,"id":"Q4187288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$3CFA7E62-CAD3-4214-A76D-4F2754A2DE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$CB15B948-2084-4E9D-84C6-086C894CF5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d8f82c493ecf71b1895a2fbc262dc6af404064","datavalue":{"value":{"entity-type":"item","numeric-id":5532796,"id":"Q5532796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$7F781193-EC13-49C5-B5C3-ABA94582F148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$AEC8E7D6-9CA9-49B3-96F4-B486B227B939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9deaf5805369ed94d2c2b3ba23b0118b7817813","datavalue":{"value":{"entity-type":"item","numeric-id":4151145,"id":"Q4151145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$DC841D6D-D0AA-41DA-B66D-1CC6BFF1192E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5d86b3b2e305f22a4acc54ca3b563db317be7a","datavalue":{"value":{"entity-type":"item","numeric-id":4190096,"id":"Q4190096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$E7DAC7FF-CDB7-49A8-B29A-2A3AC1D08D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$39D8B258-BC2C-4732-BF61-3FD404CDBBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$C7A19AC1-FBEE-4C16-9501-267AAA465F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$E4B3C895-9577-4E3C-AC4D-485F4F5E97A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$4D10F1A5-55A2-4FEB-BB26-2100C750CA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789895$4A15035B-DA26-4C3F-96B1-E89312295A52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3704408c0b8d3f1df121cd3362ea1b15af86b97c","datavalue":{"value":{"amount":"+0.9011276960372924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789895$5D59C4DB-EC28-483C-9398-BC844B479D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126cf73c529d05a1a9d6042537932cad15dfa87c","datavalue":{"value":{"amount":"+0.8719658255577087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789895$41A794BF-C478-4420-BBB4-6B16F0C5FEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be0a25b80c2674b62063497e44b388e11e8effd","datavalue":{"value":{"entity-type":"item","numeric-id":1337463,"id":"Q1337463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e4a1c76907a7590d889d9d94657550517dac9f","datavalue":{"value":{"amount":"+0.8582175374031067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789895$8431A54E-4AD2-4AE4-B079-F44A0005FC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241542c203fc370a7ab0c732e13088b75fb3ff44","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da31a9805d1bef2bdb891bec706109449b04de9b","datavalue":{"value":{"amount":"+0.8488587141036987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789895$B2C4DD65-91E1-4EEB-9A0C-B2DE93101977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25cf76aaabcb9e9e603cd9a786480d9de11efd7","datavalue":{"value":{"entity-type":"item","numeric-id":3343431,"id":"Q3343431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7daf799b95aa5bc9ee1ab3c731d991f342816273","datavalue":{"value":{"amount":"+0.8482056856155396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789895$925857B1-7022-4C63-92BF-53437CA46A6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The temporal logic of branching time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_temporal_logic_of_branching_time"}}}}}