{"entities":{"Q4547958":{"pageid":6577550,"ns":120,"title":"Item:Q4547958","lastrevid":47969491,"modified":"2026-01-03T05:33:48Z","type":"item","id":"Q4547958","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1786650"}},"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":"Q4547958$B88A9D0B-F8C8-4ADA-924E-26FE41EFFDC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f146d546fa9cf47eecbfe1eb1964cc789ce94e97","datavalue":{"value":"1004.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547958$F1D67A33-BE98-43FC-A950-94B4A46B77BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79a31f3b3f91522cc500cf523210d26a9fb2979","datavalue":{"value":{"entity-type":"item","numeric-id":2386106,"id":"Q2386106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4547958$A1511B59-746B-4731-8E03-9A953B59909C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c29b947d701d478aa12d107bbc6ea14baaef48c","datavalue":{"value":{"time":"+2002-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4547958$31454891-5B49-4700-BCB1-D788F6AFAA50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547958$EEEA85DD-D779-46C5-9703-D6DAF919D10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547958$982C6F98-EA38-4C14-8AFD-E22DC12AAF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547958$723A8D4C-8C20-47F1-8685-564824B1E51F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d88aaa81fe245c5a4415c36da80c9e01689f9728","datavalue":{"value":"1786650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4547958$F7F44615-A8AC-4CBB-8C85-F2D6769D59B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547958$E430E601-E552-4463-B440-487D0A3343D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547958$96EFA426-3B25-4A0F-88C8-30B539B8CA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27fe14a8cfeb9ac56de2bccfef8cf6b2b7e8b2ce","datavalue":{"value":"branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547958$A6185009-DF7B-41FD-97B0-772D99899D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125134d18c92a825dac779608f185356dab3a386","datavalue":{"value":"nondeterministie programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547958$574B115E-FA31-4275-B224-2D5A7B9513A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4547958$13293A07-CEA6-474E-90F0-4B59C5EA68BC","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":"Q4547958$19A549AA-4EE5-48EE-B7E3-F78CE40F25B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7290941cd373469e191c13f207b260d8eb9c31f2","datavalue":{"value":{"entity-type":"item","numeric-id":3536336,"id":"Q3536336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c1396cc5a9d9716e1b311a5785d1c72438606d","datavalue":{"value":{"amount":"+0.8331230878829956","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":"Q4547958$30CF2FF0-F437-4589-80E9-790FAB156B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc03231c8b2da69323dec19dd32ea7016e52a15","datavalue":{"value":{"entity-type":"item","numeric-id":3975138,"id":"Q3975138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e8b1a20fc2ee63febbc2d384d62306bf05a0a0","datavalue":{"value":{"amount":"+0.8256992101669312","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":"Q4547958$CCB14745-45D6-4958-A00D-7F7127378B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72ea4bea2ca32c16557917415d30c835acde50a","datavalue":{"value":{"entity-type":"item","numeric-id":4929426,"id":"Q4929426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428b82fb50ad7096828f704dde475d640eb73b2a","datavalue":{"value":{"amount":"+0.8245741724967957","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":"Q4547958$240AEACC-7139-47EC-BD4F-BA6C5FAEC318","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":"e1ea86650bdbb9a1142b546424e674d3ca617c12","datavalue":{"value":{"amount":"+0.8206053972244263","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":"Q4547958$932B3E81-78F3-4D7C-957E-FDDC1896581E","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":"8857e7014fff8e69b6c5c4627ce0b6a8bc7bab35","datavalue":{"value":{"amount":"+0.8187589645385742","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":"Q4547958$A76812F1-ECC8-4749-8C7C-0BC1AC3380E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4547958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4547958"}}}}}