{"entities":{"Q5747670":{"pageid":7777221,"ns":120,"title":"Item:Q5747670","lastrevid":101722565,"modified":"2026-06-06T02:38:30Z","type":"item","id":"Q5747670","labels":{"en":{"language":"en","value":"Validating QBF invalidity in HOL4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785360"}},"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":"Q5747670$C4275762-D15D-4723-ADC9-6CBF8376EE47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96f36701fffbe16ec7f2aafe194c5420d884d7f3","datavalue":{"value":{"text":"Validating QBF Invalidity in HOL4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747670$960AC8D0-27A7-4E23-A396-646910157663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b3b53ea49c370020b87fa6efbeb78a7ae3fe9e4","datavalue":{"value":"1291.68375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747670$CECCBEA1-9177-4149-92EC-53D3F4504100","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73a398c75ed3be654c101474079e5381dd943ddd","datavalue":{"value":"10.1007/978-3-642-14052-5_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747670$4EE5AD5C-FE2E-428A-9808-425AAA0992B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f8cd3b806fd78547b3f4844ba487e41a5ec455","datavalue":{"value":{"entity-type":"item","numeric-id":286783,"id":"Q286783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747670$49AD37EF-E429-4172-9502-F9654CC99A04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747670$EB0C6999-596C-4B8D-9724-E63228A0D773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747670$30B5C739-79EE-433E-BC9C-9409D462DEC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747670$69B871C5-980E-4FFF-A7D7-770A1100F077","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fad8fe4a362878cadb6d1e8f40f4cdc832863d7c","datavalue":{"value":"5785360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747670$398FE9CF-D137-4A65-B231-F84429925857","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747670$2EA7E871-BE3E-41F8-8F03-DC318701AEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747670$76F54950-A062-4E6E-933D-10A127310A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747670$26931E8F-3798-4363-9B5C-6CF0327CF864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747670$1E484F88-9DEA-4BCC-82A6-7C69E4D45775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f81f218aa9dfbe89c11e108de13663cbf6e414fc","datavalue":{"value":{"entity-type":"item","numeric-id":21436,"id":"Q21436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747670$2B27F62A-0C34-4F99-844F-514F8C56E05C","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":"Q5747670$00B529B0-C35F-408D-9BB0-6852E7EC71C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ba4f47bcdb547ddfff1d976610912f79b29c408","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747670$F1FFDC33-1F4C-4EE3-91B2-D2425090EC9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0165d65ac3daa11db8acdbd019634f8e39837aa","datavalue":{"value":"W1935328433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747670$8B831B24-493B-4701-B0C8-889F0F3C26E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297d7ca756a0fe9edb01e6c2d45d7d8ced12f185","datavalue":{"value":{"entity-type":"item","numeric-id":3088005,"id":"Q3088005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b672f90f36fd6e25e85ddbb91ef1a99329dbc8","datavalue":{"value":{"amount":"+0.9738636612892152","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":"Q5747670$C4A8B0EB-C7E8-4AC4-9700-0691EB275FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecaa33f59d7da2d63f62f7085605bb6ffbbf5115","datavalue":{"value":{"entity-type":"item","numeric-id":3088006,"id":"Q3088006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f74c9ec1417bfbf5cc7f30a00071653a693bacc","datavalue":{"value":{"amount":"+0.86641925573349","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":"Q5747670$2D7044BB-A2FA-45D4-BB61-2F89A27B47D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d2b9ef491bc5e77e7d9e057e6bb8bffa065cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1656583,"id":"Q1656583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73500e797a30563a68b0a74c4a85a547c1e6845c","datavalue":{"value":{"amount":"+0.8051750063896179","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":"Q5747670$20693BAD-061F-4EF7-BF8F-5784D0C665A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0547585d8f8a34dc989b699b2faf640176d826c3","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f93fe956c4833545751c71cd3c9ddca21f8646","datavalue":{"value":{"amount":"+0.790920615196228","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":"Q5747670$2C82460C-F94A-4A18-9A4D-87A782BE98A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f088a4cbe70de70e6d68d1db476d5afe218e68","datavalue":{"value":{"entity-type":"item","numeric-id":3400890,"id":"Q3400890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c24c9a725d6d052f2c0f07c70ec2057c20026f","datavalue":{"value":{"amount":"+0.7748926877975464","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":"Q5747670$6FEC5B67-3A09-47DC-91F4-A74F00E500B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Validating QBF invalidity in HOL4","badges":[]}}}}}