{"entities":{"Q5900571":{"pageid":8006266,"ns":120,"title":"Item:Q5900571","lastrevid":50943455,"modified":"2026-01-15T21:06:06Z","type":"item","id":"Q5900571","labels":{"en":{"language":"en","value":"Multi-valued model checking via classical model checking."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688266"}},"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":"Q5900571$8D0CFCCA-51A8-4746-ADB1-8E9989072513","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2710257174c8c401d932a5ee3f734214331b9d0","datavalue":{"value":{"text":"CONCUR 2003 - Concurrency Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900571$DCD40A65-1E7C-4B37-817D-5B189F1BBD81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4caab4246ef6749b3b03093548b01870a26181f6","datavalue":{"value":"1274.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900571$A64E3B62-AE5A-45D0-84A9-C963132B8854","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900571$84809CDF-B21E-4FFE-A9DF-E0807B7CF928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900571$CF14E82D-EF92-4DE4-8AF1-F6F6EE0CD33F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900571$FBE0C9D6-3C74-46D3-9F09-C9D629A65B9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad85b41ac0afe13597f905f95a4baafcdea7919","datavalue":{"value":{"time":"+2010-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900571$D05B37C7-12EA-4009-83F8-249A898748B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900571$3EBDAE03-5BF8-4E92-BF0E-214F91F8E7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900571$B72B60DA-F139-42E4-BD2D-7ADD2DB4F584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900571$FFC88DD2-FE46-47DA-8B20-887542D3FA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900571$8919B26C-D234-4967-819D-4E0609435025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dfcb025c0ba1ccef009277a5a81c271bb160cdd","datavalue":{"value":"5688266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900571$7DC81BF3-57F5-49A2-95AA-055F22E47203","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":"Q5900571$5E517CA6-F801-4F06-BD44-A9F99446C308","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a70288c8aba66f6f506ae1c9f1df3ec3169e150","datavalue":{"value":"https://doi.org/10.1007/b11938","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900571$CD803B5B-DB65-4568-9743-63310372B3F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eaaf20f9ed31f0c15fde1ed29c348788f9f57b3","datavalue":{"value":"W105220891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900571$495C1E53-02D8-4C87-BF80-A086FD845D31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5ea868ec13643df31e0c2cc2ea726be761a8967","datavalue":{"value":"10.1007/B11938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900571$671AA980-52B9-4C30-866C-4C487D128241","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962b23d0e59ac120833f97f18ef5ec888a8a7b28","datavalue":{"value":{"entity-type":"item","numeric-id":2763963,"id":"Q2763963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1466190ac6c4853f738abebcfc414121078aa8a8","datavalue":{"value":{"amount":"+0.8516837954521179","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":"Q5900571$861B2AAD-AED1-493C-A875-081CAB524A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237a11b72e2d646a678bdc54e1549b34ce51e60e","datavalue":{"value":{"entity-type":"item","numeric-id":2213111,"id":"Q2213111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b6dcc0fc56986986125233f21876842ac8490e","datavalue":{"value":{"amount":"+0.8481189608573914","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":"Q5900571$CE2C8BCD-7187-4292-A076-D698EE2A1FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b12f51fa7508470e8c4ac3504e447c6d1dcdb61","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff81848e2fb689e49e1794579ac5b2f8b1eac387","datavalue":{"value":{"amount":"+0.8477346897125244","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":"Q5900571$4332DF9C-3E7F-4DB2-8CDB-B4F6E7607D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c745f091e731485f18385d4d0cd1026ea66b85","datavalue":{"value":{"entity-type":"item","numeric-id":2769604,"id":"Q2769604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8842fb09d96d63c27624701d6b124e07d5875cbf","datavalue":{"value":{"amount":"+0.8434956073760986","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":"Q5900571$A6685A81-1F0D-4097-99ED-BF690E47BD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39abb76b0139ee77e167ce5326405d296ecea277","datavalue":{"value":{"entity-type":"item","numeric-id":5475785,"id":"Q5475785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d69cac019ceaa20f80cbe77a930da10c5113606a","datavalue":{"value":{"amount":"+0.8380212187767029","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":"Q5900571$1663FC2A-1271-4BD7-84DF-C1C42EDB745C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900571"}}}}}