{"entities":{"Q1006733":{"pageid":1008581,"ns":120,"title":"Item:Q1006733","lastrevid":66566661,"modified":"2026-04-12T10:59:32Z","type":"item","id":"Q1006733","labels":{"en":{"language":"en","value":"Computing finite models by reduction to function-free clause logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532936"}},"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":"Q1006733$68582F8A-2913-43A8-942C-FF3AF9F4321E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcf16b0f5f8d20ca2910cac37c5c266934539e21","datavalue":{"value":{"text":"Computing finite models by reduction to function-free clause logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006733$E8082738-E202-43B1-B815-EE6B570D4C7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad48b73644a31bf3cf78bd624d6382ba0d63d45b","datavalue":{"value":"1171.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006733$E535E458-B3A5-45F0-8CEE-DA993A549AF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$1C7081D4-0BC6-466D-B1EA-833B13CE1CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdbc6771ac2ea422001c187c0d91d02309cb09b0","datavalue":{"value":{"entity-type":"item","numeric-id":1006732,"id":"Q1006732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$24AD43F0-A84C-482C-85AE-CABC6BFB527B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af7e025189305bad11f686c710fe3b187470eaf","datavalue":{"value":{"entity-type":"item","numeric-id":438567,"id":"Q438567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$5513EE2A-B6F1-4BCE-A6A6-26E8736BBA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$4B13275B-E3D4-402B-AA3B-C257EFCE028A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$1CA18F87-171B-4859-B495-EF681C8EEF3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006733$562DF47A-3234-4EC1-8571-DE55ECBD1C02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006733$368AB039-D3CD-41CE-9E2C-EE523EFF792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006733$4681E632-72D4-4925-971B-A43EE0B2CF51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"461075438a340700021f6af2dd8a22cd07f1f001","datavalue":{"value":"5532936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006733$EAB4423B-A1E8-4C93-909A-83CAC932900E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006733$439D3A44-E752-4C61-89B1-8D49FBDAA856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006733$6B544147-DB71-4CB4-9748-231CC8E933B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd2028c5945640f27cb6959a4899c9e5ecc937af","datavalue":{"value":{"entity-type":"item","numeric-id":18923,"id":"Q18923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$74CEB598-7E4C-4C88-B5C9-D11B2F79DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$F44421C8-59EB-44B8-AB27-591CCF7C54FD","rank":"normal"},{"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":"Q1006733$7FCAD403-612F-4401-BA68-4657161A9AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$B1F0908A-1ECB-48F0-8E3D-074D2A5AD03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$B7C403F1-64F4-458A-ADCA-28BD48E26566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cef536c0e8573a04b650f51204fb1a17c80e051f","datavalue":{"value":{"entity-type":"item","numeric-id":16055,"id":"Q16055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$6F41966E-60AD-4FA0-B3B8-1F3FBF292801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea1b2cb84bb47ca577fcebf0f42420b207179eb","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$6826ECCE-77AF-41EF-82CD-BC173F6736B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$706C5394-0DC2-4862-9C57-F3852B712B98","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":"Q1006733$421B876E-7E2C-4E74-8B49-8B9D6ED2B69E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cb2f793e4912ffdc71ab638ce5a747e4f35cdb6","datavalue":{"value":"https://doi.org/10.1016/j.jal.2007.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006733$B8917278-F02F-4748-BAEF-06C628BA42B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5abce5bca102963d7889c758fd3652fc5c22f892","datavalue":{"value":"W2162131937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006733$F1ADA671-D7FA-445C-8B3A-8F9D70677E8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b24916f8a190902c9f51557c21e619c4626fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4249897,"id":"Q4249897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$689F5BA6-1B88-4EED-A4C3-ACBA7CADAE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b850b043885273916728e7ea46c854030ea9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$E21E9FC5-F0E5-4DC2-B7CD-245122B7D6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3650cacef83c730547348629436bf0c05225f355","datavalue":{"value":{"entity-type":"item","numeric-id":1402748,"id":"Q1402748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$B7BDE1DA-A5D9-45B8-A4C9-2ABBE876688C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70cc4453f5a873a7b64997b7df88ef8b7cf7b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3613405,"id":"Q3613405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$7CB7BC0F-4559-4AE4-B9FF-A81D6BB3A70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b07bee7e03caec103786e5014f6d4794b8bbdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$67FB4D86-1836-43A3-8FDB-DD90F6DA7FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$895D364A-7A1A-44F7-8341-FF06F0019848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3a57f9c14ff1fbe1b20e0c45aedc0125c5f1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4246965,"id":"Q4246965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$F5CEC4A4-2F07-48F4-BE76-429CD9914B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf54fd52b3ae148a01d4229df0c1b5a1e68af7f","datavalue":{"value":{"entity-type":"item","numeric-id":3613415,"id":"Q3613415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$410F6BF3-04B8-404C-8833-21E3538B6221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5611a6f60e59f1388392174f8631ce9b0f98d8","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$AF72DF8D-7524-449C-BF9D-C9C1C1F2673B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2885b6c2f298a4969f68eaa4cd0aa0fea745b7b","datavalue":{"value":{"entity-type":"item","numeric-id":3613417,"id":"Q3613417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$667AC04B-1117-4659-BD5E-200723AE432F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8674a26153ce786fc142cbca9d495f9ca891ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":2996159,"id":"Q2996159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$B6E1DE34-B551-483E-85D3-BCD7B4B2B5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$1D780400-F03B-4B4B-A060-691804B91042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a75a39f5ac98bf032aaca1eb03b5cd9c31ac38","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$7CCDDD32-34FD-4DEF-810F-B647B4BA5D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$FCE1F545-DDA7-46E4-AD11-1E347FAAE14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ed1fd88663850940208777b453a5e31171f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5486135,"id":"Q5486135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006733$372C6767-D91B-4256-9400-BEE58B7C9AC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddc1ce2bd061bbc6f0e7843b28c610008c6dff38","datavalue":{"value":"10.1016/J.JAL.2007.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006733$D412AA3D-1B59-4CDC-A808-5683B823193B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed581130f80ce7853e1b7e619d65d17e21d1ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1404976,"id":"Q1404976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256f9a37e5e168a506f5eb023ad8b0c880827d6b","datavalue":{"value":{"amount":"+0.7659372687339783","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":"Q1006733$674B12DB-B0E4-423F-81EC-4804310BB746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e852ecac704111aabe2b11bb9d7771b06a87f2","datavalue":{"value":{"entity-type":"item","numeric-id":1404975,"id":"Q1404975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9787be3ab85320feffce02005b0295f09ea80ba0","datavalue":{"value":{"amount":"+0.7599580883979797","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":"Q1006733$9E0029A3-BA29-490F-8A06-3D8FD67C1889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e14787651e93bfe1fa0ed3046e7a940302c5a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2281661,"id":"Q2281661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf36191eb59f498ec58b8ab67fa5049a3d8c06d","datavalue":{"value":{"amount":"+0.7584616541862488","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":"Q1006733$77050645-DB39-4AC3-8D48-6CEE320377A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50adb43b240b8c90ab64a1f99129e8ef6321b63","datavalue":{"value":{"entity-type":"item","numeric-id":2818025,"id":"Q2818025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d017010dc8aa7282664a7ace75e810754162ce32","datavalue":{"value":{"amount":"+0.751560389995575","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":"Q1006733$BDF9AAE6-E329-45F6-97FA-A42803ED29C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f986ec0cbe86d1b57ee3714c8843e3131806eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3a4f3be1b55f6e4a40cd23f15cc4d8a326f84c","datavalue":{"value":{"amount":"+0.7423536777496338","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":"Q1006733$8108E184-0ACB-4EB1-B270-C501B4A1AF4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing finite models by reduction to function-free clause logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_finite_models_by_reduction_to_function-free_clause_logic"}}}}}