{"entities":{"Q3640378":{"pageid":5670284,"ns":120,"title":"Item:Q3640378","lastrevid":87487559,"modified":"2026-06-04T11:48:19Z","type":"item","id":"Q3640378","labels":{"en":{"language":"en","value":"Application of Wu's method to multi-valued model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629923"}},"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":"Q3640378$31AE48A2-06AB-42A8-BD6D-CED63B5482FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9075f9a28c9158bd54fc8b44afa511696023a1c4","datavalue":{"value":"1199.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3640378$8B8006AD-2772-4EEC-AC86-8BB3AC548607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1709b189299230e21e86eb2427ef7622b3879e1","datavalue":{"value":{"entity-type":"item","numeric-id":308517,"id":"Q308517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3640378$7EEE38BB-94DF-497B-9F46-F321CFC7D689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3640378$E5B59233-4F9D-418E-B6C1-ABD55EC9333A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3640378$BEFC7421-0164-4DE3-BFE9-55B52A4E017E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3640378$3B92BD16-2A8B-470C-8E22-F62BEEC8756D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3640378$FB5E6ED0-F334-456D-95B5-4EE2807EF507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d52d3ac9d8874f2711a4e8b87259e704e5cd469","datavalue":{"value":"5629923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3640378$B4ADD332-E95C-42AE-8F5E-116D3CC478F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e99a2b75becb4f42a7903c7b3da6c287a34cb8","datavalue":{"value":"multi-valued model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3640378$C646A11F-0475-4424-A04C-72DC3C8A068F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q3640378$9778BF6E-77B8-4EFD-A1F0-1D0EDEA4B193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f8cf8243737b642987140e639e60ec078529ee","datavalue":{"value":"Wu's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3640378$59BD9E4F-2A1B-4065-BB0B-E50945EF4496","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":"Q3640378$EF5A0C20-C817-4DCB-843E-04A30ADB1F89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca31711aaa221a2cb2e1d07abcdbe3134d735ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84528f6adb81087c526ff42621a7293fdb142a0d","datavalue":{"value":{"amount":"+0.8096176981925964","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":"Q3640378$FE46C79B-2403-42F0-80FA-4F752E7F1DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e777fb5785c79f1ec4376420413f5a05d68b1c44","datavalue":{"value":{"entity-type":"item","numeric-id":5262770,"id":"Q5262770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e7d7d9ed25c8909d8142aa985c0e20667f58cb","datavalue":{"value":{"amount":"+0.7940182685852051","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":"Q3640378$DBB1793A-58A6-48E7-9294-2B07CF45FA72","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":"aac5bc34ad559605d9e5144a1edb7557fc5566cc","datavalue":{"value":{"amount":"+0.7797101736068726","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":"Q3640378$93F03B1A-DB7A-4459-9931-25CCE1B3AB93","rank":"normal"},{"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":"beb3608778e09952b40a94db1bd5cb1a73d42800","datavalue":{"value":{"amount":"+0.7722318768501282","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":"Q3640378$760051E0-78CF-4786-A1E8-052128B80C89","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":"e0174579b98a7543748c3479bb4c51358297523b","datavalue":{"value":{"amount":"+0.7574342489242554","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":"Q3640378$7E778481-AF47-47B9-872C-CA6DAFCA1D3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Application of Wu's method to multi-valued model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Application_of_Wu%27s_method_to_multi-valued_model_checking"}}}}}