{"entities":{"Q4930775":{"pageid":6960357,"ns":120,"title":"Item:Q4930775","lastrevid":91963427,"modified":"2026-06-05T00:31:09Z","type":"item","id":"Q4930775","labels":{"en":{"language":"en","value":"An approximative inference method for solving \\(\\exists \\forall \\)SO satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794802"}},"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":"Q4930775$4285C905-4634-400D-A781-D7CC0C16CA68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b06c12fd1cd79dd6297c42702dd656db57d5a8c8","datavalue":{"value":{"text":"An Approximative Inference Method for Solving \u2203\u2009\u2200SO Satisfiability Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930775$E32A2A75-F010-4E57-9019-C4714BE28060","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1b4da7b017357beb4e0f3cb114c90a4384d1391","datavalue":{"value":"1306.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930775$A36ABF8C-FBE2-45A4-AB52-074B6A645F5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c49096a966f883e7d8d50a420883df4f52ecffaf","datavalue":{"value":"10.1007/978-3-642-15675-5_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930775$4334AE92-1DCF-4418-B201-9BA9BC18EAE6","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":"Q4930775$71FDD457-B4A7-44AD-9699-915EBF5880C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80b140b224e771dcc4dfcbebd6e6f91f547ab29f","datavalue":{"value":{"entity-type":"item","numeric-id":2946702,"id":"Q2946702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930775$CD2D5CFE-F5E5-43AB-A4D4-DF0C522C41AD","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":"Q4930775$40C112F7-A03C-4AE8-9767-E0F26A83299F","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":"Q4930775$BAC22B6C-BDC3-4A1F-AF36-448D8765D8DB","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":"Q4930775$F46DE3AE-3BC5-4967-8227-50766CF79E16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930775$EBE0425C-55C9-4E79-836D-8C3581EB08E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930775$4BBA0B02-9734-4F15-B071-53168806A8A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f49bfbc631f1e1b4af9fe1659acdc84b77301e7","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/279721","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930775$80653915-86D2-470D-B80F-289816BE708E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930775$07EADA69-AA3B-46EA-871A-41B182E5D56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930775$D396C500-0865-44D1-9C91-0CF752F5ECFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930775$3CC060F6-6BB0-4A4A-96F2-5023273FE3FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e819bacf3ea31e7c61d533497bf5c3c6014c628","datavalue":{"value":"5794802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930775$8B7D2380-260D-4048-9A12-2DC7ADD3050C","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":"Q4930775$D9FB3C83-05A6-4897-947F-D285EF3C4BE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53f0ae86d94a4311e7e4ce39e247681b64fcbc1f","datavalue":{"value":"W2611418764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930775$A13ECB84-7A0B-4EF6-B861-168095C85DAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194978155d5e932c3bca0e62299252223fe914a0","datavalue":{"value":{"entity-type":"item","numeric-id":3143568,"id":"Q3143568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a441be2722d620ea92ef928b21260a9661b92957","datavalue":{"value":{"amount":"+0.9814346432685852","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":"Q4930775$30544AF1-DE6F-4A84-8D07-242BCD18F8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee17e48e28f9f82ce7da1dace7aed7ed184b136","datavalue":{"value":{"entity-type":"item","numeric-id":5473969,"id":"Q5473969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bec9cd86679f311c4c23407eed817a59adca2e","datavalue":{"value":{"amount":"+0.7218310236930847","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":"Q4930775$A81E52B0-0B95-4BE9-9500-6291B2A3918F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d19275483cbf66b50d61246fd799dbf226df6","datavalue":{"value":{"entity-type":"item","numeric-id":3502709,"id":"Q3502709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f87b3d1d37898424ee69bb527e8ff7016638700","datavalue":{"value":{"amount":"+0.7138731479644775","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":"Q4930775$55276E70-3772-4FAC-8D22-6C02140EB454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c940193c7d4ca81c70f416319edd3702e916d","datavalue":{"value":{"entity-type":"item","numeric-id":1309900,"id":"Q1309900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aba5d919c9baf221e3dfabbc36e38d10be126da","datavalue":{"value":{"amount":"+0.7054559588432312","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":"Q4930775$B55BAB88-0F32-4E1C-9E8D-73656D330CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645abf4b915901b51cbbe9587d2f5d49f4f9a967","datavalue":{"value":{"entity-type":"item","numeric-id":1610676,"id":"Q1610676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e904e967d1d6e1c746b8a45eff89526560bc8ff","datavalue":{"value":{"amount":"+0.7054555416107178","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":"Q4930775$E8E2BA85-94C1-47B4-8D07-669C0CB843AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approximative inference method for solving \\(\\exists \\forall \\)SO satisfiability problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approximative_inference_method_for_solving_%5C(%5Cexists_%5Cforall_%5C)SO_satisfiability_problems"}}}}}