{"entities":{"Q4645725":{"pageid":6675306,"ns":120,"title":"Item:Q4645725","lastrevid":82245287,"modified":"2026-05-06T20:26:47Z","type":"item","id":"Q4645725","labels":{"en":{"language":"en","value":"Blocked clauses in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999978"}},"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":"Q4645725$B513BB9F-5ABB-470A-A176-1EA44AC3DDEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ad755e9a350c6f7c0bd0c8000a4eb8bd2e9934f","datavalue":{"value":{"text":"Blocked Clauses in First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645725$379AB7C2-0E70-4A6E-A57B-95D815D513BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb34dabee264191cc3fb790698e493d0d8b2c25e","datavalue":{"value":"1403.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645725$9CD8E2B2-41B8-48EE-AAE5-EFB9441BD699","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f58cb4392b797c6a9cd32772df8b3616c15ce","datavalue":{"value":{"entity-type":"item","numeric-id":1680259,"id":"Q1680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645725$BCE8F707-1A5B-4775-80EE-31A605890B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645725$75406F48-D3EA-4522-856C-222055572F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645725$E631AE7A-4997-4FD2-B749-38B43939BB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645725$528143F8-52A3-4CA0-951F-11BB84692B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645725$7C88F3E2-00DB-462D-8D28-C2F26AEA6986","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645725$C126CE9E-11E0-467F-8A49-519D99EA1AC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645725$F2A0EE90-D914-4A08-BE82-DAD0DCEA0D9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af1c80dea7f8a74bbcb3f561c5078577a80fe325","datavalue":{"value":"https://arxiv.org/abs/1702.00847","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645725$83DBAAB6-4139-4AB7-B344-B3222A351F68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645725$BAF0C4E5-AB1C-4809-9FAC-9C9C10BF4181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645725$77004D6E-EF0A-467A-9DFF-0A5D21BD8560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645725$78455D0C-AF78-47E2-87B9-968775115606","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1d9647316eeace3f54f8d76654a85042e1398b8","datavalue":{"value":"6999978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645725$D1FF510F-66E4-4120-923B-9F42A9821E75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645725$9F955401-BF1B-4EFF-BF4A-142C6E679091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645725$17C061DF-4DCD-489B-8482-82C3B28214F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935c5dc8c1bf21d827fe6a511cb64dba53a875fc","datavalue":{"value":"blocked clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645725$03D18F91-243F-49D8-98C7-214898E5595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f7aa0bb96839dcaf939e236b4ca8dfbf2867528","datavalue":{"value":"clause elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645725$5440843D-C05E-4B06-B946-A133D95F9F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645725$D507AA7D-8999-47D9-9125-A676C5D591B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36957d7e632ee938df3990fd3662ec253f74cca5","datavalue":{"value":"preprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645725$0157F1BB-1A7B-4F1B-ABBA-E21A260F0FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645725$A0E35536-421C-4F5B-9D30-6CA0E7FD6F2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645725$B8F96BB5-1738-4F57-9968-DADB6C51B75A","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":"Q4645725$90AD572F-ABF9-4CFB-B7DB-0B3734DBA09F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d67f29f6ed468c2c9ea649f1314943d64dc2a869","datavalue":{"value":"W2593389390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645725$E47F17E1-9D4D-4046-979C-602062FED83B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1495a11f74f10c765f1dacbda459f9f77b48742","datavalue":{"value":"10.29007/C3WQ","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645725$4909B7C9-A935-459E-9BE0-F000FDD68AC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccacb971a7158dc69eea4adf9e6c311b23c1df7c","datavalue":{"value":{"entity-type":"item","numeric-id":2333858,"id":"Q2333858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb346097af1dd64e29232f35bb6b74e94ebc91b","datavalue":{"value":{"amount":"+0.8341818451881409","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":"Q4645725$C7371226-C9FA-470D-B8E8-E6CE457A065E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af71dab54da42201412a717e4afe28e633bb38f7","datavalue":{"value":{"entity-type":"item","numeric-id":2817910,"id":"Q2817910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834c436198fd67388fa6e8c1062f189f59f9d284","datavalue":{"value":{"amount":"+0.8014150261878967","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":"Q4645725$1C015627-5069-4D35-9368-CB26B97B66C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9ee3fedb306e15b25ac18e1c056a5542779645","datavalue":{"value":{"entity-type":"item","numeric-id":2405255,"id":"Q2405255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7402281df971ed59cdb81ae7de7a932d0083f9","datavalue":{"value":{"amount":"+0.7918893694877625","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":"Q4645725$1FF2E31E-9141-4F88-B751-5CA2F880FB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689877375047fe87a7bcddf1d00855207cca824e","datavalue":{"value":{"entity-type":"item","numeric-id":4553279,"id":"Q4553279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d7c9485dee0d3881b9f1d430479d1669f92753","datavalue":{"value":{"amount":"+0.7713422775268555","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":"Q4645725$81E7DCA7-A742-49F5-98EA-CA0ABAAE0079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e4a7593e2aec0066ffe9438847f1c6adb8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efb207ef4dceb4603cf9c2445ebc3d71dccc19a","datavalue":{"value":{"amount":"+0.7700096368789673","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":"Q4645725$3316E750-8A7E-4E5E-960E-35A4E79D394A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Blocked clauses in first-order logic","badges":[]}}}}}