{"entities":{"Q5753939":{"pageid":7783490,"ns":120,"title":"Item:Q5753939","lastrevid":41735809,"modified":"2025-05-07T17:57:48Z","type":"item","id":"Q5753939","labels":{"en":{"language":"en","value":"Finite and Circular Path Models for Branching Time Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189707"}},"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":"Q5753939$7695B467-3F57-4A8F-9A45-66DA0F4C8B7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dce52dfe20fdcd9480d9f20500c225fb80dfdef2","datavalue":{"value":{"text":"Finite and Circular Path Models for Branching Time Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5753939$E7527519-5394-4B82-8ED0-EC44623D8345","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd86bb588edeed541238c60c72f80b5226e61468","datavalue":{"value":"0722.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753939$3A78594D-4AFB-431D-90B5-4AF19186B7A0","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":"Q5753939$6FB0A5E5-D45A-4052-89A5-2B12BF3ED32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32adfa54afa6514262dc1c8c78f6dcb5f5dd38ef","datavalue":{"value":{"entity-type":"item","numeric-id":1822936,"id":"Q1822936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753939$8806B8BD-6537-4861-93C1-785B28ABC713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q5753939$F85AF4CC-7194-48AF-9044-B13E978B064B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753939$DF622BE5-4FA0-480E-A596-9C926EBEED85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753939$C8BA7E47-47A6-4BCC-AA9F-6037A00E701E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753939$8DE4C834-E961-4E17-A2EA-88A8BEA58EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753939$481F9CA1-E223-456E-B050-3F624E8550AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0839d511c5b023f5540edff8f400481bafa51a34","datavalue":{"value":"4189707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753939$34D9C129-6C83-4D4F-8DBD-6AA6B1EDA5B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753939$6AADA816-E4FB-4FB5-AD10-130276BF2CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67518ecf7bb92811b48491dbe48aefb32bb3402","datavalue":{"value":"non-deterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753939$2AFB05CE-4324-47BB-9F00-95D35108E553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f4d6a0817184775744cada5659b060d91a35a8","datavalue":{"value":"branching time logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753939$29B69DAB-6216-4655-B969-8F90304BEE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"531ddc4798856c06338ff5c7239a1b41c81b1676","datavalue":{"value":"path models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753939$95E7F836-183D-4EA3-AEDF-2D8A2CF434F0","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":"Q5753939$16D5765E-31BD-430E-B363-F2DEBB4FEDF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b5713e6742d250c5429cc8391f1f35616709a24","datavalue":{"value":"https://doi.org/10.1093/logcom/1.1.71","type":"string"},"datatype":"url"},"type":"statement","id":"Q5753939$0A9B7F05-CCB9-49C2-8776-21A6FEF4F190","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eb4c1c9b9a6b1a24cae11088c2b451f406e88ac","datavalue":{"value":"W1987169080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753939$B4A3119E-C8C8-4E62-A6E3-7F7A829ADC7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23ec18fd5f6093f3c698706cadabfb551d59f391","datavalue":{"value":"10.1093/LOGCOM/1.1.71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753939$A982396D-F7F2-4CC2-9E77-E9BE45C893E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753939$0A0D8E33-E48F-49DF-8EE0-77D8FABC4007","rank":"normal"}],"P1643":[{"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":"2e42713a61ba17bada7644c389f732e790cb214f","datavalue":{"value":{"amount":"+0.91547215","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":"Q5753939$E235BD77-EC6C-47A1-A926-D183E2F66DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a4e5769e0a881559434dd83eb4aa33d59f1623","datavalue":{"value":{"entity-type":"item","numeric-id":3637242,"id":"Q3637242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e7e831b1a2d290a9537caefb3d01f154398702","datavalue":{"value":{"amount":"+0.9006668","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":"Q5753939$8C039D5A-E627-41EC-B031-B737EBE2C86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486e18bd3bea54ba4a5a3715d321e625b1a3a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3510810,"id":"Q3510810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2378613ea139126d903946f26fe7a75703bebafc","datavalue":{"value":{"amount":"+0.8899252","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":"Q5753939$CB73F7FD-CEAF-4094-A55B-F7C71EEE728D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde2c31a1b7500b72d9d309d95fe20e157fc7a9b","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67a14a4d3b0d06d5180a364e038418e4526522b","datavalue":{"value":{"amount":"+0.8855206","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":"Q5753939$8F10A3EA-A78A-458E-AF30-2D6FC043DD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c605e9b14ae02e7381e2d82d56b60fbf62e509","datavalue":{"value":{"entity-type":"item","numeric-id":4037127,"id":"Q4037127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa36b1a8aa2c71cd7e8b313ee1b79dfe506b00c","datavalue":{"value":{"amount":"+0.8841439","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":"Q5753939$BB9D5314-2BAF-419E-94C7-8C7C5506F212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab2639d120a41e9afde30746a5386c4f8af2b45","datavalue":{"value":{"entity-type":"item","numeric-id":4037390,"id":"Q4037390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f43b48e60fcab78d919494a9ebfb9fce6ff7464","datavalue":{"value":{"amount":"+0.8841438","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":"Q5753939$2DFA3014-7A0B-42C6-8EF3-3F08C3538D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107df4364085b50c32e4791b4f906c725ee5ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":3644771,"id":"Q3644771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae44dc1e23e52eb7911e1dea9c1b544543979c8","datavalue":{"value":{"amount":"+0.8823584","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":"Q5753939$C27A78D3-2E8A-4152-9C89-F84459C1AB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21960bbbf31b9ac04958f134836bc62cdcf36f69","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a39ad9c8a4c00fdc82eaccf68873ea722660749","datavalue":{"value":{"amount":"+0.87868166","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":"Q5753939$6429788C-FD28-424D-A75F-7C8CA84B44F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125fe52ce73741ab1ae06610aa9d74b8be9378a","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2876d1492f110147976064579da975d104516c6e","datavalue":{"value":{"amount":"+0.8786284","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":"Q5753939$73BDF6F5-715F-4E92-A5A0-8E49CE4C53BF","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":"3081fe436fbf74a1c82759625d0e07799200b678","datavalue":{"value":{"amount":"+0.8780962","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":"Q5753939$9F71DB73-B0B7-4C98-8ED8-C2AC843882B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5753939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5753939"}}}}}