{"entities":{"Q3527691":{"pageid":5557595,"ns":120,"title":"Item:Q3527691","lastrevid":81028100,"modified":"2026-05-06T17:33:06Z","type":"item","id":"Q3527691","labels":{"en":{"language":"en","value":"Model checking with Boolean Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5348257"}},"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":"Q3527691$481A1C42-71D1-4125-A0B6-4CCFC724FB7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ede006a9503cf5e5ca002e6d9eacc38dc1dcfbcc","datavalue":{"value":{"text":"Model checking with Boolean Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527691$3E587CBC-E820-4A41-AB9E-697766B8F5DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9020bd3f66f92921d75505601c833fa1552e3c3","datavalue":{"value":"1151.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527691$C60A107A-7011-45FC-AB75-1ADF730512B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9bcfebe9d23b7752651008b0d843e08ec7c57a37","datavalue":{"value":{"entity-type":"item","numeric-id":2709787,"id":"Q2709787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527691$55AFC2CA-C0C9-4536-92E6-66DDB4E5F0A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf6f7b353a66969518a90b0af004266817357ae3","datavalue":{"value":{"time":"+2008-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527691$6F42A5DA-F533-4C55-B6B1-E4B966BC3DD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bd591ce0b26afefbca1ad320c620b04a46c5743","datavalue":{"value":"https://eprints.soton.ac.uk/265229/1/jpms-jalgor08-prelim.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527691$63635E0F-02C9-4AE1-BB7F-217207468172","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527691$B8F960EA-1050-4A54-85E2-C4698A3E75D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb1734ca4e027a7d4f8539da5310e007b4e63393","datavalue":{"value":"5348257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527691$C9FD8008-7CDD-410B-AF5A-E6DE53EA4C94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527691$0918677D-4EAC-4EE4-B32F-EC6621BF7BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527691$5B4ADC94-825E-40D9-ADBC-52FE953075DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6ffb1c353cab625622161ce27f82723a019913","datavalue":{"value":"resolution refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527691$42C99507-0752-4E63-B821-DE9F7BF9EE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527691$268319D5-535B-482E-A32D-4588624955C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527691$E2EBE751-B0E8-4CBC-960F-E48A9DE4E904","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":"Q3527691$56362286-27FE-4147-A49C-45ED6CB20034","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42a4e55b4eccaa582260036129494e0761ca4e20","datavalue":{"value":"W2166933164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527691$0643EF09-8A0C-4AE3-8477-8C936645A08D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21fcf1c22e3476ec2b677b0df19885b53411089f","datavalue":{"value":"10.1016/J.JALGOR.2008.02.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527691$09BD61BE-11EF-44DA-9AB7-2606D1F49867","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05564e307a5083a6c81d193eb316b1f80be51ff","datavalue":{"value":{"entity-type":"item","numeric-id":5493231,"id":"Q5493231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373e36a6156290d5ca88c6f3927bbd2fd645f789","datavalue":{"value":{"amount":"+0.8624938726425171","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":"Q3527691$0E86DE2E-340A-416B-AFF6-076104960933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a70b995451b12f8ea5d646a78e8103737cb89ce","datavalue":{"value":{"amount":"+0.8614583611488342","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":"Q3527691$7F04F7B0-13E4-437D-A3AA-4852A41B85EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a70b995451b12f8ea5d646a78e8103737cb89ce","datavalue":{"value":{"amount":"+0.8614583611488342","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":"Q3527691$6512BE7C-6C49-4283-8BC5-6C1EAB238F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee80c16797b19d138b30136b65e5bdcc9236ff4","datavalue":{"value":{"amount":"+0.8561850190162659","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":"Q3527691$8928F484-6E31-4836-B528-29EB55F47F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0337eec65669bdb027f080d3087ed0d70cc9320d","datavalue":{"value":{"entity-type":"item","numeric-id":4738483,"id":"Q4738483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6069dd1ad4a5824922d774e338fb9ada2cd621","datavalue":{"value":{"amount":"+0.8270601034164429","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":"Q3527691$7FE195D9-D2A6-44C1-AB3C-6788D554331F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking with Boolean Satisfiability","badges":[]}}}}}