{"entities":{"Q896162":{"pageid":898010,"ns":120,"title":"Item:Q896162","lastrevid":65239413,"modified":"2026-04-12T01:14:01Z","type":"item","id":"Q896162","labels":{"en":{"language":"en","value":"A complete axiom system for propositional projection temporal logic with cylinder computation model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520549"}},"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":"Q896162$CE33DD69-492A-4B9B-A75A-7285A56C033A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34c8d999be2dae3b606d9c3c6d8f3e21ab94a7b5","datavalue":{"value":{"text":"A complete axiom system for propositional projection temporal logic with cylinder computation model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896162$F7A02548-AFAB-403C-8CCC-D91523965091","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8befc904a0c736e1c54942230028fd8f32b59ff7","datavalue":{"value":"1332.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896162$1CB32A21-FEF4-46E5-A205-E2FC65589455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$389FB208-0408-4741-BDC7-A874803ABB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$CE93EC73-E67C-45C4-AED3-EBF84B6252A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$50A46900-D559-42EB-B83C-E6CBF20E3C66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$2D5661B2-6FDF-4F9E-B1A1-1110F6A8D9C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896162$B7D51201-194A-4EEC-AEAA-7D0238697DE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896162$901DA1A4-7BC6-4CB1-A982-BA7C94AC0FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896162$1D285863-1B16-43F7-BADF-EFFD0F8923CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896162$9B37FFE7-8435-4C6F-9E4A-9D3666A8DF32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96567eaa5dcdafb70227bdc1ec99436ab42525e1","datavalue":{"value":"6520549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896162$9B1E4F1D-EF29-42E1-A4F1-6268860C0336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q896162$6BF09E66-EB44-44B7-919B-81792244B570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2703ce53dfdd9855b760cec8272df126f5b0376b","datavalue":{"value":"multi-core parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q896162$E4B63694-9C07-4616-A42D-48A5EC7F1AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q896162$37376100-DCF3-4545-953C-026ED9B90BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q896162$06E23376-C969-4F5F-9CE9-1C7D9CD0D081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q896162$14CD41CB-1C2F-4B62-88BE-2C5C5A74BCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f6c80b0dfc69f07b6732579007eac69eb2f8c4","datavalue":{"value":"propositional projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q896162$C2D7F2A9-C571-45F7-B07E-059159C3B1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d853e3eacf8d959ee4dd801b8fa7f1ee31363bf5","datavalue":{"value":"cylinder computation model","type":"string"},"datatype":"string"},"type":"statement","id":"Q896162$444B5FBA-C274-44AC-AAB8-2CB22694A2DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$3BBF16F9-3FF7-4921-ACB7-9CE560352999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$2B850C95-0612-4489-9F90-979CE8AE7CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$0D22122F-547A-4FD8-84E6-12C627E3208D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$66CD2560-60A2-46D1-8704-8083D0AB7DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$95DDAA4F-F542-48E2-B259-673807D1C71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$0CA409D3-C0A8-4C0F-B5AB-ADF31CBC2E4A","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":"Q896162$49131CC7-00C0-4972-BF35-2D918E223F1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2ae71b580a73589c20ba4dfac4f4b78bed4da65","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q896162$194B5A90-991A-4F0B-B66D-896D96B1E20E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d509144db9a1f33457aed5caa2eaa3ea63dde638","datavalue":{"value":"W346741227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896162$0714129B-22C7-4402-BCFF-180E5C42A826","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b4a6d727ae3142ef5cfe0507e71ce51ca0dcc78","datavalue":{"value":"Q114013034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896162$1F76A198-0671-46BB-A6FA-8A31E823E9A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$F9591FE0-FF26-4091-9A5B-275C7216AA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f70484bd2d56db595fa191ad0d54a382774ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3335722,"id":"Q3335722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$3DE16346-0E9B-4A70-A759-8EF14F7B6ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$A7F5469C-F6B7-47AA-A024-4BECAD853266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3b1fcd773117d59115af8f6a7d3fe75f3b75d8","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$F5A92F98-6ED5-4094-8BC9-4A7905004354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$BC9CB2D6-D216-4E2F-81C8-3C50162E8EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f1e44416a3c1cc347b58f2819f854351e6ffec","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$C641C3ED-8A4A-4F7D-8B1D-0496440B3F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$E0060A3C-C350-4840-AAE7-35CBFEDE12B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$B2D20C65-C671-473E-84F9-0595985F5F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$CAB043DF-D928-4C02-902B-9BC3850E239C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$7D6B25AB-8297-4E4C-B8E5-4CF133359EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$C2E4AA3C-755B-4C53-9778-C8CED3C7BE0B","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":"Q896162$790EA3C8-8D9D-46CB-B105-0389EA1AFF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d1b5b8cf7f7d3f1fd4ae91ff16265c8ce81bed","datavalue":{"value":{"entity-type":"item","numeric-id":391222,"id":"Q391222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896162$942329DD-A852-4EBD-AC8C-CCCC7739345F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d01104e08942503814279d19ea0fd1a4e01d7e1d","datavalue":{"value":"10.1016/J.TCS.2015.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896162$A1148608-13BF-4850-8E65-5B1A7AD08977","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6cc86de7ba30752b44a3b740f13ee6931465ac","datavalue":{"value":{"amount":"+0.9341509","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":"Q896162$5CDF679E-FEEC-48FC-86FC-5F7AF5F8B91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1858f3df0882189cb7b23dde4b4924d59f0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":1986563,"id":"Q1986563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e51660e588c591a46c4118bff7cc9912489830d","datavalue":{"value":{"amount":"+0.9313201","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":"Q896162$C12036B4-DDAF-4F1C-B706-F13E01BA04BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561307f750473501718e9736601af1cef9537c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3109143,"id":"Q3109143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00938342579fffde3cb87f193209a32980ecfaf6","datavalue":{"value":{"amount":"+0.9244423","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":"Q896162$7CF015DD-9CBA-4E9B-90BE-219CE76B8414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9dddab88830bb73e5cc345e05c5edcc135ff3c","datavalue":{"value":{"entity-type":"item","numeric-id":3060195,"id":"Q3060195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ec9414ef3378eec71da6e1a148e8b5ef2595c8","datavalue":{"value":{"amount":"+0.91768247","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":"Q896162$ECF39897-3E2A-4EB7-85D0-6771CB2C042C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4025f976582952f0c7a69dd31f0b9e88d9909521","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d495cf6b29f6a9fe6b8ad0256727f361cd4e9627","datavalue":{"value":{"amount":"+0.90800434","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":"Q896162$14D396B9-23FA-4BF3-AD9B-FD160BEC815A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770dc2434a714eb4962a411d17a34b022e58ed92","datavalue":{"value":{"amount":"+0.8997185","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":"Q896162$1C8D2DA5-974A-4B05-B0EB-9F11BF01DB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae0483f7b3bbbc337322337096a015d32e531ac","datavalue":{"value":{"entity-type":"item","numeric-id":4820466,"id":"Q4820466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41448a172d8f6f8c5ea2b0e5f20efe776ba57f17","datavalue":{"value":{"amount":"+0.8952756","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":"Q896162$7D680FA9-2E7D-4EA0-988B-27A3ECB67D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a81aa1aa38f8c6216db2d5aa98b73833da671a","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6039f75616ea658524c35f42a70dd76e1e6613b6","datavalue":{"value":{"amount":"+0.8899552","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":"Q896162$94D728DE-95F3-421B-A24A-7FD0EE598D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b86d0541e0fa03c640aace3d612ac080587bd37","datavalue":{"value":{"entity-type":"item","numeric-id":2300069,"id":"Q2300069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69adc02654197110058c9fb3c5162e13919e504","datavalue":{"value":{"amount":"+0.8897855","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":"Q896162$197D066C-3067-45FD-A779-12403D6DC0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb594780aea6ca674f2e70db064036ed0d4e367","datavalue":{"value":{"amount":"+0.88921005","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":"Q896162$FB2B9ACD-FA82-4D5C-BE43-1004813BBDFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete axiom system for propositional projection temporal logic with cylinder computation model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_axiom_system_for_propositional_projection_temporal_logic_with_cylinder_computation_model"}}}}}