{"entities":{"Q1337463":{"pageid":1348202,"ns":120,"title":"Item:Q1337463","lastrevid":67615590,"modified":"2026-04-12T19:02:42Z","type":"item","id":"Q1337463","labels":{"en":{"language":"en","value":"A branching time logic with past operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 682618"}},"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":"Q1337463$F43A47BA-4158-41DA-B90D-8BE8EEFF4E40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b863a4aeca7aad629b0d17bcd7c49ba610d02f7","datavalue":{"value":{"text":"A branching time logic with past operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337463$A35A8DB9-6DBF-49BB-A158-AAE9669E5005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb2b181e41f4bb98b32bc70d0cd86e4b317b837c","datavalue":{"value":"0821.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337463$173DEAC3-CF19-4309-AEB9-DF74DA3986E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f7a5b01f81c1b4fe1849b5769693899eabf7712","datavalue":{"value":"10.1016/S0022-0000(05)80048-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337463$283FFB3E-6509-44FC-AA0C-E24F09052E6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$FB5AB963-1446-4E05-9B2E-7C2C3C8FEC97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$0E28B5E9-CE88-4CE5-8EDD-D171E9A8C91C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32d1d77beb5f3bc65c221a38015efeb024af2386","datavalue":{"value":{"time":"+1994-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337463$3D75F007-61FE-45C6-AF01-228B1EF4EB0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337463$7523CCF2-D049-463B-89DE-13A0BF321213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337463$7649E321-24BE-4F0D-97DE-E69A301B81A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337463$461B677B-EB00-49F9-B0C1-48BA66F67944","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d480dbdc005bbb3d6189e00bd04636d6da97bbe","datavalue":{"value":"682618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337463$EFAE123A-AC52-4C1A-804C-74B0996F2012","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337463$171577B8-AB57-4B23-810F-70AFF97E4E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337463$21E0C89F-4A53-4BD4-8313-C1C5957C5C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267f0216d57369ce85bda3d01c5bee331e26862e","datavalue":{"value":"graph automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337463$DDB298C1-13A3-429C-987B-61078C7C105E","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":"Q1337463$0AE35F71-2992-4EDE-B7CD-3AC82D0F8736","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf4dae9a78ba0faf4348899879d3cffee2a4636","datavalue":{"value":{"entity-type":"item","numeric-id":5618355,"id":"Q5618355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$7EB1973E-8EFF-4091-BFB8-7EDE5C9F4A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$AAEA3A2C-F974-4450-A89F-151530C12F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$D74C2702-F1A6-46E4-AE24-2CAD37A028D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$4787A51D-181E-4EC4-B112-1EBA9CE0CC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f8e682580e0159ceca7a32dfef1381e8153e0c","datavalue":{"value":{"entity-type":"item","numeric-id":1058863,"id":"Q1058863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$6A102535-783C-4E1B-A54B-21E087D980DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2bd3cc11e9fcdcb72d1516cd896d0e9aa9cc86","datavalue":{"value":{"entity-type":"item","numeric-id":1191024,"id":"Q1191024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$DB337149-3987-48F9-A43C-5E387E9661BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68500c35cd5ffac9cbdd2f612b49ae4f7383352","datavalue":{"value":{"entity-type":"item","numeric-id":5753939,"id":"Q5753939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$582A4E3E-7F41-42AD-B2EE-C9C30CB8D083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a592cba5bd50a769a8b95145033ff13a570cf73","datavalue":{"value":{"entity-type":"item","numeric-id":5573396,"id":"Q5573396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$01741C38-63A9-4D15-BD73-54A66D2BBDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$0DEAC74A-5673-465E-AA94-70462C82CBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b721cd3525f2d41eb2e353d4f22f90cacb67d","datavalue":{"value":{"entity-type":"item","numeric-id":3325068,"id":"Q3325068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$D53E2721-69CB-4C25-98E4-54BAEB143EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd038af78bc81754eb27c5ac17d87619fd663342","datavalue":{"value":{"entity-type":"item","numeric-id":582913,"id":"Q582913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$0A9E796C-0C02-41C0-8672-1E5C126395EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$4AE00C81-6365-4447-945B-EF7DCC01FB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$E82C90AC-1DDC-46C8-8AB9-9B01F71CEFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$3E283B1D-14C2-4ED2-A356-13F5196A3C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$CD19FFE4-D395-4E49-8F50-B7BF0C4A085C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$9A78177C-A4C6-4D8B-AA0E-B94F42172D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$94C3A9B7-E62C-495F-9BF6-63A625DFA4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337463$2A30FEBE-0E04-40CB-8EA4-65A50355E96C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be3b72458e1cbfa46b5f87e2380d4558cf7f17f","datavalue":{"value":{"amount":"+0.9296963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337463$2F8A6B94-3841-4662-807D-86C21BB5BABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26106c05ae3ffc65c57b778df7444dd87a8d4653","datavalue":{"value":{"entity-type":"item","numeric-id":4586227,"id":"Q4586227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f3e8ba2ea82bbec8080b1ce64fa8971209b5d9","datavalue":{"value":{"amount":"+0.9105241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337463$991A2285-79AB-4DE5-9DEE-15C0A490B788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fccc82afcec1063201652827c9e75f100e6e4b84","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4f5e90149ee656188a20610784cd10c1f6a0a5","datavalue":{"value":{"amount":"+0.9031396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337463$887D65F5-6564-4DBA-BCA6-F63C72E8D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83617749cf254d03e2ee7f1f5cd22995808a1562","datavalue":{"value":{"entity-type":"item","numeric-id":386037,"id":"Q386037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b132718ef0c71b583e90f8bd72a0cd175bb0ba1","datavalue":{"value":{"amount":"+0.9015202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337463$C6355C20-FE0E-477C-B0E7-995A1FC90736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cea97e0c537744a510f3a938610fe5c24519ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1768798,"id":"Q1768798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b373e82885f1bbe31d6386e81063e034660faca9","datavalue":{"value":{"amount":"+0.8926452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337463$0C87E021-4F39-4EA2-A86B-292280C9F199","rank":"normal"},{"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":"ba22ccfe48ec0466cfc3512c597ba393460a8550","datavalue":{"value":{"amount":"+0.89095956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337463$51C26607-1D08-41A9-98D4-62E3653F89F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c1e56272e89723df8b5c41e8c5c2cea135c272","datavalue":{"value":{"entity-type":"item","numeric-id":2856051,"id":"Q2856051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd83a1f2f50d2989901cf40ac87798016cf7b47","datavalue":{"value":{"amount":"+0.88943213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337463$FBFE3F04-5432-43A4-AAB8-14B8C3EE7EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4371b83fd6f817342e0f3bff17e817d9eaf038dc","datavalue":{"value":{"entity-type":"item","numeric-id":1288173,"id":"Q1288173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d149fba73d122c8b2cdb22046d58af9bd8ce3e","datavalue":{"value":{"amount":"+0.8884822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337463$55D36925-D39C-4B56-9CFF-1F8CD19E1C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f81aa2aaef83289dd62a4e56a0e4bb731fda785","datavalue":{"value":{"entity-type":"item","numeric-id":1203784,"id":"Q1203784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d6c19c888b344cfb0bf5aa478a8faf065102f9","datavalue":{"value":{"amount":"+0.88681525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337463$470F81B6-A599-4ABB-B8E8-8C6450B9859F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A branching time logic with past operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_branching_time_logic_with_past_operators"}}}}}