{"entities":{"Q1404976":{"pageid":1415716,"ns":120,"title":"Item:Q1404976","lastrevid":68628177,"modified":"2026-04-13T01:02:00Z","type":"item","id":"Q1404976","labels":{"en":{"language":"en","value":"A calculus combining resolution and enumeration for building finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1970570"}},"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":"Q1404976$D5D1D916-0A4D-4C1B-B03C-746E793790F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5b91a2e3b7180dbeb7c983ddc29843460f6ec2c","datavalue":{"value":{"text":"A calculus combining resolution and enumeration for building finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1404976$90796147-3374-4088-80D0-AD9A1A05B3F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae765c6577bd3f2253f7bfe17cc7cd0a1d62cb53","datavalue":{"value":"1019.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404976$97176BBD-CAD6-46F9-A6EA-683B9A70DA2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6f608845d8016befa19bd3d54c6842bca75fb15","datavalue":{"value":"10.1016/S0747-7171(03)00027-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404976$055D9309-F3A0-4096-9AB9-268D9B42BED0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$6FD0C555-3F2B-4987-AA36-12D47F76EF13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$C8CF1E1A-9352-4C98-A21A-D05BB62DA941","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988a1f1f38c2f749de54c12ebc5774f827c2b17e","datavalue":{"value":{"time":"+2003-08-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":"Q1404976$F0D837C6-7BE9-4B54-BF75-178F6CCA6BA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404976$9B8FBF57-142B-4B0B-ADC2-2708F803A491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404976$699074B1-F4C5-4B13-9519-0E7BAE42DC48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f67ee1a452a764b2bffb94d51fc8f3473c8d55e0","datavalue":{"value":"1970570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404976$233888A1-E447-4564-857F-5DACE54D00B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404976$9DA7E040-CA9D-404C-9033-B9418A84EF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404976$27988A62-87F5-49DB-9030-5246BC122101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404976$3A508E74-ACAA-4DD0-9B17-9C2A03F1DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f49cb74d1c610899090a8d558ad90499924992c9","datavalue":{"value":"satisfiable set of clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404976$75D678A3-46D4-474B-8ED4-15CFC6279866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404976$2AC76BF2-DF64-4CEB-8C90-F031ED037BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404976$D0AFF98B-FF86-4629-A467-AF58BB0585EA","rank":"normal"}],"P1463":[{"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":"Q1404976$94F23456-5B62-464F-9955-02262EB2C2DC","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":"Q1404976$43A4D8A1-6A36-4D2B-970C-B2062704ABD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19505d15f4f89530d10aab28f5ab0b6c7737db8","datavalue":{"value":{"entity-type":"item","numeric-id":5210763,"id":"Q5210763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$4C87CD7E-EE4E-4105-87C2-A2CF87755E9D","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":"Q1404976$FFD077D3-9333-4108-BBD3-E19BFCBD394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80edf907d226bf1b97232b377afddac25ef87a78","datavalue":{"value":{"entity-type":"item","numeric-id":5927982,"id":"Q5927982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$2FB2BE5D-7DCB-4AFC-8CD1-DB8C06C67D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1867080c0034d7856d12fe14b76198e231d90233","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$0F2C0988-AC47-457A-ABCD-79D3F568DDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ff82ab2dfa1864c5faf26125e582b6529d29d1","datavalue":{"value":{"entity-type":"item","numeric-id":4272502,"id":"Q4272502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$6DBE1094-1A9D-4A06-A1DF-D3176B7D6150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$AE4B90C1-123F-424C-A70B-B67523528E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e95e4ad8a1c26487d3ff7728ab264483e45ea","datavalue":{"value":{"entity-type":"item","numeric-id":1310269,"id":"Q1310269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$0CE10C36-33AD-4421-A5FA-45E8A7956713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37da6481d3393a5a430cfe31bbfd3e1bb865a00","datavalue":{"value":{"entity-type":"item","numeric-id":4380444,"id":"Q4380444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$2A8DB75C-1F64-416B-825F-C2D6A29B9158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba991d4e866ef355b82f0e4f0cd0605eb8a7e90","datavalue":{"value":{"entity-type":"item","numeric-id":4362927,"id":"Q4362927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$F5CEAD00-3B1C-4F48-9B5A-E97B7C1F2988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39d523debed46220be566420075cffb59cd405","datavalue":{"value":{"entity-type":"item","numeric-id":1360965,"id":"Q1360965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$1A3BE367-5208-4258-84D3-F6FBCFC30D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43494860626967b7048fc0935e6b9a3f87ded8a2","datavalue":{"value":{"entity-type":"item","numeric-id":4349580,"id":"Q4349580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$7ED03521-AD30-485F-B0B4-A61AF4EFE3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952f869d8d49e312a3c92e5977855978f654a1b4","datavalue":{"value":{"entity-type":"item","numeric-id":4209295,"id":"Q4209295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404976$620119B7-4C1D-4530-9404-B97C71553144","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44469c695c7d19631de7e636f5e7f496493f9406","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfb82d321d26a64722142e1e0953ce0d1134dcd","datavalue":{"value":{"amount":"+0.8204427361488342","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":"Q1404976$06469245-910E-4353-8855-0A14ED1CF944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b218c4ba3c0ee3527ebaf03168166dd2cb9217ec","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d7ff70571b9cb677d4cef9e8871a0a8a8aface","datavalue":{"value":{"amount":"+0.7973525524139404","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":"Q1404976$50195A4D-4C36-4ABB-8F22-7C6B71E4609C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed107c0b5f9570cfb041178e0327ee0d9628b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d7ff70571b9cb677d4cef9e8871a0a8a8aface","datavalue":{"value":{"amount":"+0.7973525524139404","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":"Q1404976$28E8637F-2A14-4336-93F1-C6C088A39F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eeffa01fb3a58df72f772a4bbb6c9e6ba345984","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad4aa6596ef9e85ac0165e775cf8c4bf50c9d80","datavalue":{"value":{"amount":"+0.7724563479423523","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":"Q1404976$2CB1B6D0-FD5D-41DE-9721-35B52613719A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c46fcda057dacc5a2893827e366d6dbe3590a3","datavalue":{"value":{"entity-type":"item","numeric-id":1006733,"id":"Q1006733"},"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":"Q1404976$BEF5C537-937F-4EA7-9AE5-8D432D290B34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus combining resolution and enumeration for building finite models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculus_combining_resolution_and_enumeration_for_building_finite_models"}}}}}