{"entities":{"Q3143568":{"pageid":3154284,"ns":120,"title":"Item:Q3143568","lastrevid":86312228,"modified":"2026-06-03T18:23:22Z","type":"item","id":"Q3143568","labels":{"en":{"language":"en","value":"An approximative inference method for solving \u2203\u2200SO satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6111831"}},"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":"Q3143568$730119F2-AC4D-414D-9477-92ED214D737A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"793493c0c4ff0e17fa4e39e379a44707b8df90b2","datavalue":{"value":{"text":"An approximative inference method for solving \u2203\u2200SO satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3143568$7A4FE94C-1023-4EAA-9899-653B274A1D43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9be8ca901947241983cea14bf0b1a417f96a83e5","datavalue":{"value":"1253.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143568$8C15101C-11CB-4547-B66F-A4CD55CB48B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b6bd77199c210ce3a65b42fd1acdebc4f4a8f68","datavalue":{"value":{"entity-type":"item","numeric-id":3001910,"id":"Q3001910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143568$37312767-A84E-4A7F-8757-5F08DC537BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2039c50f4bf7e2e0e187db2c049c2d046081e96","datavalue":{"value":{"entity-type":"item","numeric-id":313141,"id":"Q313141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143568$62F278CF-1348-4D80-9373-DD41E5A3ED53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143568$EE09F760-F5D2-4CE6-A08B-E5EEA2365BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143568$74BB9277-666A-4266-9BB7-02D740C12E09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143568$02391867-C921-4376-8D8A-D4513E06E113","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fd3ad4961dd3b754cee18b6f99fcca42b4edd99","datavalue":{"value":{"time":"+2012-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3143568$1FD53238-8BCC-4D84-ADDF-AA25721C5CC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143568$74F01E1C-34EE-4E04-B565-D49FCF49BFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143568$B7F06865-738D-40B6-8D2B-4688E1E04958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143568$120F53FB-FDE6-4A9C-8FD3-4E5F5C787E85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7d3e48492f4f978a03b65fae4dbb33ec702a258","datavalue":{"value":"6111831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143568$AF26C7C3-99D4-47C6-8D48-6CECADDB7D48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143568$01120C98-C5F5-473C-91FE-34C8713C4A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d4263eb698881c6b6e175ba0ac902c6368d348c","datavalue":{"value":"\\(\\exists \\forall \\mathrm{SO}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143568$50FA6C7E-D5B1-41BB-99C4-C0210ABF29F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a99f46d33f0126f4a80b465574cbfd5c3499e8","datavalue":{"value":"approximative method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143568$D58507DA-D996-44B8-996A-64B3AC36262A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143568$DFB49530-5F08-477A-9987-3B7B03461C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143568$BBE658EA-F5B7-4F44-B6E6-694F6E1217EF","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":"Q3143568$FB9C33C6-C238-4210-8ACC-FDE8F172E6AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14ebfb5846d3f3c398088741349dfded0be97fe5","datavalue":{"value":"https://doi.org/10.1613/jair.3658","type":"string"},"datatype":"url"},"type":"statement","id":"Q3143568$D53FA461-2CFD-4132-8DF9-8649DB9C2780","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f86f946bb42b566af4fca4a4e0896cfddd182a3","datavalue":{"value":"W1799809150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143568$D6FD1FBE-EB08-4F32-98A6-8B7A61595249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"978b2fe9831d0d73b5a87d607812a6a2fa97ee9e","datavalue":{"value":"10.1613/JAIR.3658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143568$905800F7-E970-463B-B132-4B2A43613BED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bcd81f4798914af84e8a3e5c09a831e5598f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4930775,"id":"Q4930775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf34e068436d06a643fe4e2ef9afe854527e51d","datavalue":{"value":{"amount":"+0.99706686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$52873652-4E4D-4455-AC8C-55C4F74BD3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6368e04aa8004fd0d2af50046ca64c09e2f9384a","datavalue":{"value":{"entity-type":"item","numeric-id":1313760,"id":"Q1313760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2109db818c194146d0b176d1bfa26293a87660a6","datavalue":{"value":{"amount":"+0.90327686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$E1EA2619-CCA2-4C4B-9DE9-A347088617F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a9801562e5c7bc7b6c88a48c21fcb41b8bf771","datavalue":{"value":{"entity-type":"item","numeric-id":826119,"id":"Q826119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bb7616a6b944fb79900e5fab3c1b16f9553fad","datavalue":{"value":{"amount":"+0.8969924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$3B7B1C36-1D9F-42FE-863E-B2F08B668639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910c90944a50e1f126224610f0f205ee8986208d","datavalue":{"value":{"entity-type":"item","numeric-id":1578395,"id":"Q1578395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4e3466d4a1957c93c09b1852f25122ea435883","datavalue":{"value":{"amount":"+0.8889082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$32EDB3D2-79AD-4CFF-A74F-7F8DB346D6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3183fd4d00b8287185181665f8626e4cc43580eb","datavalue":{"value":{"entity-type":"item","numeric-id":3634956,"id":"Q3634956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049d0d6bd7744c8ac7264de5f95cc794c686ca2e","datavalue":{"value":{"amount":"+0.8776131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$8510B7F1-6952-4FBC-A998-5EF40686B78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6977d0d3d477c19ac407d95bc9c53a875c03a43c","datavalue":{"value":{"entity-type":"item","numeric-id":3068633,"id":"Q3068633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a584355da5c8020f12732a429ddb35214eba257b","datavalue":{"value":{"amount":"+0.8766325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$FE880714-1DC9-45D0-93EB-5426178AA510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2068748f59fd6e2e2a72df0bd8ccdea859c138","datavalue":{"value":{"entity-type":"item","numeric-id":2747196,"id":"Q2747196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763fd2c0be75dc88c8622e0339fff2e76da57f3f","datavalue":{"value":{"amount":"+0.8694198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$94DCAEAC-4FD4-4D0D-AE9D-AE2049E47AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1284a91a1c9f016ab0474edca13b60536dc1adc","datavalue":{"value":{"entity-type":"item","numeric-id":5403460,"id":"Q5403460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75bc9d82b20deffbe81991e7443afe90d8f83aa4","datavalue":{"value":{"amount":"+0.8671193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$C2AF7FEC-1827-4234-AE4E-EA2F223C6742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357181d9e70043be9e9525240057a0c9a7d3b038","datavalue":{"value":{"amount":"+0.8661885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$D05F85B5-68C3-43C1-9BA9-3D5E0376DECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e09a740df321af47b5a3bb08115f2f75e57578","datavalue":{"value":{"entity-type":"item","numeric-id":2938496,"id":"Q2938496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b723b438955e46ae7afcc943977f722a42aa1a","datavalue":{"value":{"amount":"+0.8651138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3143568$093B6F58-FCAB-45F9-8674-96A93069085A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approximative inference method for solving \u2203\u2200SO satisfiability problems","badges":[]}}}}}