{"entities":{"Q2863839":{"pageid":2874559,"ns":120,"title":"Item:Q2863839","lastrevid":83936333,"modified":"2026-05-07T14:34:59Z","type":"item","id":"Q2863839","labels":{"en":{"language":"en","value":"Model checking downward simulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235709"}},"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":"Q2863839$1B8F2A0F-9727-4DF8-8EA9-AE430CD38ECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88268e989d4f3d11b87c40c5a28f9fe7d9241345","datavalue":{"value":"1276.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863839$F6FB4C59-9F9E-45BC-8D52-B91FD5A41358","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863839$AAFFF901-7546-4DDD-A169-EBCFA13667A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863839$8C29F637-BD5B-4BD6-870A-FE59EF6D6BF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863839$857F4AA7-0BB4-4F7E-9F5E-793F33F68E01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a793dde50ac01d706da7fbfa4d8da4acde45b254","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610505098X?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863839$6D89E1B7-ECE3-4255-8813-F6BB73507D23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863839$97186B1E-5F75-41D0-8334-038DEE7D3628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863839$B3440999-4506-49FA-AB1F-82B9B30EB956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aec2d38921daa98017a536e7dc779cddde0e11bc","datavalue":{"value":"6235709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863839$29E0814B-47F8-4563-AC72-4E168B1AD72B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863839$D60C1B19-05BD-4207-84FE-250632233EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863839$80364495-3B0D-4EBA-8501-0DD33D982DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863839$3C3FC6A0-AC06-4066-B85E-23B821210E6D","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":"Q2863839$210DE7AB-E415-4B57-A9FC-298A6BE57702","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86496e17187b15b05a7951c908f569f80ae5e1e8","datavalue":{"value":{"text":"Model checking downward simulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863839$E6A68D6D-E7D0-419A-8FE8-89CB15B7A3D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca288bbdbca3b84679173dd06195a3f779c86371","datavalue":{"value":{"entity-type":"item","numeric-id":851129,"id":"Q851129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bccc3ced81ce6539b944af33f854924ae698de6","datavalue":{"value":{"amount":"+0.8405165672302246","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":"Q2863839$9732A36F-F5A7-4E5B-BD9E-F68445B0ACCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4588b72648253fe52a46db8a60cac19ebe9194e1","datavalue":{"value":{"entity-type":"item","numeric-id":764005,"id":"Q764005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a716cdc1b16abcc37d09e234eb047733b30db22","datavalue":{"value":{"amount":"+0.7658358812332153","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":"Q2863839$EEC380F0-446F-45EA-829E-0071221E83E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5321beff57ccfadabb628356079e6d043c7aa37c","datavalue":{"value":{"entity-type":"item","numeric-id":2766532,"id":"Q2766532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47165b57bb51a17999237bcf463f637c6e4efcd1","datavalue":{"value":{"amount":"+0.7532898187637329","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":"Q2863839$2C746DB0-4318-4B2D-987F-612B3CBDE337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4225dcb4148da8240a3cb9b59e0e7e51d5e2fc","datavalue":{"value":{"entity-type":"item","numeric-id":1019017,"id":"Q1019017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47165b57bb51a17999237bcf463f637c6e4efcd1","datavalue":{"value":{"amount":"+0.7532898187637329","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":"Q2863839$69A22C15-0A4C-4B12-BD62-D6BE5A4DAA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c187ef7d670432dd4f3776af1232214bc22b6845","datavalue":{"value":{"amount":"+0.7530805468559265","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":"Q2863839$82EF3DF2-B236-48D5-8698-731D3BBF3DA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking downward simulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_downward_simulations"}}}}}