{"entities":{"Q4591089":{"pageid":6620674,"ns":120,"title":"Item:Q4591089","lastrevid":41630457,"modified":"2025-05-06T14:11:30Z","type":"item","id":"Q4591089","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6806035"}},"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":"Q4591089$D4075959-E9DE-4DD1-9112-1CD1193595FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00eb4e89777a408090dab2ba1affc60f3af92a77","datavalue":{"value":"1389.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591089$8C618613-9C78-42DE-8F92-7623F05DCE04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a06e5ef1bece8fdb4fdd3515de35bf8fe9d93b2d","datavalue":{"value":{"entity-type":"item","numeric-id":282108,"id":"Q282108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4591089$BA2772A8-791C-434F-85F1-A9227FE57CDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4591089$DEC472CB-7BB0-4794-9067-5FAA266C1BAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591089$25065D74-6807-41B5-ACB8-85B0012A693F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591089$FDB4874E-93A8-4B8C-AC1C-6BB2FA9DD299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591089$9F1854B2-337D-4E32-95F2-3F3254DAFD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591089$83982647-26C1-4C13-9593-9E7D8F327C76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a19cbc4542dfb83176c823fffcb73763d60a38e6","datavalue":{"value":"6806035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591089$A8F34A56-315F-497D-9A81-B7D038993618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7f8f622713657dbac6bb46cb3ceade6b870e391","datavalue":{"value":"temporal epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4591089$E0870865-232D-4074-8D44-AA926EA2182F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a443cbc82c2a0ccf5c92eec579db7975f57921d9","datavalue":{"value":"coalition logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4591089$1101A729-F7A2-4F85-BDC4-45509B109C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4591089$E97B6FA4-D7A7-4BBD-AE52-C2182020FFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4591089$64541F2B-BB49-4678-AEFD-09777CB4C595","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":"Q4591089$7075412F-233C-4A48-B07D-5F7FB35B6ECA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3def022d620f40a6a300aec04ecd95a805987f55","datavalue":{"value":{"entity-type":"item","numeric-id":5394565,"id":"Q5394565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604a88946748d711c26107f1a6ab96ce52e8aeb9","datavalue":{"value":{"amount":"+0.90154964","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":"Q4591089$8B88BD78-07C4-4A66-8D53-A20F15474BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a759cf14f3d735c140f079eeb08b1d36c2e5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4860769,"id":"Q4860769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3c1c3375691047c11d93928c394a462c921ea8","datavalue":{"value":{"amount":"+0.9014126","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":"Q4591089$71D4803F-A581-4977-8D7C-9C5803081882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ff3ab724d9c0092db82f79324be8fdcbd0ab3f","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a256837247d1e12dbf5da397d0b953da6bf865e3","datavalue":{"value":{"amount":"+0.89976144","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":"Q4591089$B7366797-EC52-43A0-950E-7147B3FB6A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510bc063cfd512aa331c95d849479a2335d3b69c","datavalue":{"value":{"entity-type":"item","numeric-id":1855212,"id":"Q1855212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8876c5a1c62f37c82f9b804d31c3a8b817235022","datavalue":{"value":{"amount":"+0.8966548","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":"Q4591089$BE8E62D8-8C81-4E06-B594-156F9323C1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b0cc8d5755fd4a6b6f989a4f5ca046d83463a5","datavalue":{"value":{"entity-type":"item","numeric-id":2922686,"id":"Q2922686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad44b5034272f6ad8fa9883f0d28e6576c97c47","datavalue":{"value":{"amount":"+0.8882237","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":"Q4591089$B9F9222A-9E2D-40C6-A9D1-A5F01F07813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7386df0799166c1b9880eb265e74a4039e5bb963","datavalue":{"value":{"entity-type":"item","numeric-id":1119565,"id":"Q1119565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86b8d2f6e85f00a24749dc39ad9e9c857daa899","datavalue":{"value":{"amount":"+0.8878039","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":"Q4591089$0C1A2C63-B13E-43D8-9F73-285A47D7D7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4500d149d6e08f4777983a3ea471b80e6a88a668","datavalue":{"value":{"entity-type":"item","numeric-id":5096734,"id":"Q5096734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29de038e511591a574da1fc0c801d97871cecdfd","datavalue":{"value":{"amount":"+0.88733214","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":"Q4591089$308B0574-97FC-4691-946D-DAB3EC196D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5446d51799ccce8851a06d54ff3c69b34ddfeae","datavalue":{"value":{"entity-type":"item","numeric-id":4285633,"id":"Q4285633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a523efadba8dc6013fe6f2ee43f25c7299a1f694","datavalue":{"value":{"amount":"+0.88361114","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":"Q4591089$8FF1FDB7-8F9D-43E1-B936-9CA5FBE2A27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9db79e81ce9cd12666418d0f3326905fbbb8875","datavalue":{"value":{"entity-type":"item","numeric-id":4222816,"id":"Q4222816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3166eb8f4c0e8178ef8737802cfc4eecd5614a","datavalue":{"value":{"amount":"+0.88080883","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":"Q4591089$8B39A745-20B6-42E9-B066-96E4269A665A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aafe7e5d07405b88d74da0803366b083561e1d4","datavalue":{"value":{"entity-type":"item","numeric-id":2752126,"id":"Q2752126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fc80617d707f864be9f46a63b6e3c21e5fdd19","datavalue":{"value":{"amount":"+0.8785484","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":"Q4591089$E7AF21C1-A75A-4FF3-8BA5-AB6E0D8C70F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4591089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4591089"}}}}}