{"entities":{"Q4722045":{"pageid":6751622,"ns":120,"title":"Item:Q4722045","lastrevid":49040344,"modified":"2026-01-06T12:32:01Z","type":"item","id":"Q4722045","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993549"}},"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":"Q4722045$3829589F-59CD-4100-87A6-33BDC0B530E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b3641f8fccb6193e4a8ef49aace92f1e91555ac","datavalue":{"value":"0614.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722045$29266AA9-ED80-45DC-891C-1E1032D630A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db4295d0f3ab6f5da3d696334e19ed4889e514e","datavalue":{"value":{"entity-type":"item","numeric-id":716312,"id":"Q716312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722045$0DB67BEF-AEBA-41E7-8409-D376709AC989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4722045$0278D294-C562-426B-8BD0-F18E38EB5C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q4722045$DA7E8101-1119-481F-9297-A6878BDF55A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722045$FDF8DA95-4757-4692-910B-A41BD1498422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722045$0691DEF5-D795-4FED-9B64-9E6F819F5E22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0a56a24933bf73a2e5786f71f5f537aba8a519b","datavalue":{"value":"3993549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4722045$F2062BC3-BD00-4650-AFF1-C98F30BBA48D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722045$6A87751C-083D-4F70-979B-79FE9FA861B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722045$D9B72785-5CD5-4241-9643-AC158193AB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98dce8a7545f3a58597054ac5ad99f0547107475","datavalue":{"value":"branching temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722045$60E2F71A-6BC2-4FEA-85E4-BDD3785CEF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5000002ac2da5c3efb3d26ab99b5077d85ca40f","datavalue":{"value":"Fair Computation Tree Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722045$862460BB-9175-43A9-AE6B-2003670197DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75b3b335725c49bad1fceb97fd354777c55d210","datavalue":{"value":"fairness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722045$9016DAD1-99D9-4BF9-81FC-C2E5B4628F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4722045$1D7B195F-8F8C-442D-860B-05A94301B269","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":"Q4722045$75FD9235-891E-4630-AAFE-B4DE341F6993","rank":"normal"}],"P1643":[{"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":"3f8f9b6ad978a35f37305c2ab1b137ad70266a95","datavalue":{"value":{"amount":"+0.8464521765708923","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":"Q4722045$696301BA-439D-4065-A7C0-5CF7FCA6DC03","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":"6e5a00460d96bde88fc427db14bdd605fa9ef4ea","datavalue":{"value":{"amount":"+0.8330236673355103","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":"Q4722045$C4ED5846-6124-4AB2-893C-A05FD3C00F55","rank":"normal"},{"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":"7d1028bd89d7d2bfa7a234dcf31f79e8eec2f889","datavalue":{"value":{"amount":"+0.8207155466079712","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":"Q4722045$CA5DAA56-8757-403C-B503-C766D12C289B","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":"273ae3431b6e7c7136edafd687c59255a560505f","datavalue":{"value":{"amount":"+0.8065443634986877","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":"Q4722045$49D23784-48DB-4C03-BE4B-78D9EC04CBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc5be06ab1d55a7e85c03f565e0288b3cbdec8c","datavalue":{"value":{"amount":"+0.8051255345344543","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":"Q4722045$AE841FF0-CB71-411B-8E72-833737816088","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4722045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4722045"}}}}}