{"entities":{"Q4635864":{"pageid":6665445,"ns":120,"title":"Item:Q4635864","lastrevid":90534758,"modified":"2026-06-04T20:37:26Z","type":"item","id":"Q4635864","labels":{"en":{"language":"en","value":"Deciding first-order satisfiability when universal and existential variables are separated"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863478"}},"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":"Q4635864$66DD78F2-048F-4424-B453-C09CFC9FB63B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c9c3916d19a0033112456906abfcbdac31d6da9","datavalue":{"value":{"text":"Deciding First-Order Satisfiability when Universal and Existential Variables are Separated","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635864$4C7B42EA-DE57-4E7B-A90A-9CB8817C8CD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c35ba2b21b332966f1bda43b992aebba122fabbc","datavalue":{"value":"1394.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635864$CCBB828E-C3E1-4915-986D-62B2148F3395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0973249f7970fdd3f85a59eef79ccac2f2b454e6","datavalue":{"value":"10.1145/2933575.2934532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635864$F6A32909-1DC0-4FA7-8EE5-61A438D1DFC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635864$82D3FAFD-3820-452E-B6E6-7C120F4F9285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e588a11d57ed82a5782ddd7029798b4b98d258ed","datavalue":{"value":{"entity-type":"item","numeric-id":1687560,"id":"Q1687560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635864$F5235349-3B6D-4246-9ACA-B13E158CF2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635864$73DE041C-17A4-4E29-B7EB-EC123008B23B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635864$ED35F853-B315-4B15-A1D9-717AC641CCAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635864$74A925CC-75AD-45A6-A5AF-9FD34069EF85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb8c47c79746e45cf5de6d8cd3a5b3f7523554e0","datavalue":{"value":"https://arxiv.org/abs/1511.08999","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635864$DFAF0B5D-0381-40A2-939D-EB1538323001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635864$E8FB8E9C-9999-47BE-B4C1-F072478AFD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635864$47C962A4-CF6E-4AA0-A745-057C56E5076B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635864$EA2F3B8A-8956-48B7-B3E4-D9B60CABF14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635864$C6ADD514-EF9B-4BB9-BB06-74A27EDE72B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aea43e497eefc7d053469841aa058d6f362c85e7","datavalue":{"value":"6863478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635864$E184E4DC-AC08-40B4-BF47-BC5A32D5F805","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3716f92328e2c7a05c1f7e3da421ef0ada3126fb","datavalue":{"value":"Bernays-Sch\u00f6nfinkel-Ramsey fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635864$7940DC8C-B832-439D-9232-EAD59A51F822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0cdd4d2d70d3d90b68eb55311b87f805789595a","datavalue":{"value":"decidable first-order fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635864$C14468FA-DEE7-4569-9036-276F3EC4550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635864$DBF1D13A-8A32-42C4-AC5D-0AC4CE95E2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c388a3a38ae64b39bde499cd80f5f97aba9fc46","datavalue":{"value":"monadic fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635864$4B6B7C29-265F-4A7D-8DF9-45564CCB1FEA","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":"Q4635864$B702A10B-75B9-4733-A500-95500461566F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35e6e9f633508c7b7f262ab0de78e91bbd589c8e","datavalue":{"value":"W3102630320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635864$582C7B56-780A-4FFB-A5C7-25C256F6B207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b37bbd8b47d40b9bb11cdfcb072f0ec6f6817e7","datavalue":{"value":{"entity-type":"item","numeric-id":5144640,"id":"Q5144640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e89248f0482efaa4b595204c4d204e25a65e25b","datavalue":{"value":{"amount":"+0.7724384069442749","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":"Q4635864$6A732A1A-47DD-42B6-B9D2-684DC4076290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57f01136fa404c3d1d192cadc19e2edb928b724","datavalue":{"value":{"entity-type":"item","numeric-id":5121270,"id":"Q5121270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db82ea5fd69609f8ed0a70ae45a702ab45cfac1e","datavalue":{"value":{"amount":"+0.7461183071136475","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":"Q4635864$EAE1778F-264B-4A0B-A581-C8B6849EEE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a304c1062e951dd9b2361070458a9ba6597c62d7","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c035c6579efe39484104c15ff2d48595ce1338","datavalue":{"value":{"amount":"+0.7455477118492126","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":"Q4635864$913A5328-B685-43C7-8573-988F856898F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb861e6987f8122ae01660c60ce6f633ed4aa47f","datavalue":{"value":{"entity-type":"item","numeric-id":915716,"id":"Q915716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766716abe6a62c2740bffc6ebe8e31e7d28ac651","datavalue":{"value":{"amount":"+0.7395403385162354","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":"Q4635864$329BF1D1-3D4D-41B3-B20D-0DC4BCF233AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48031600c1658656acee0fd80def44ed80625cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5195057,"id":"Q5195057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a781c7fea9e91a723df2aaadb6b6bfaf66be3fe2","datavalue":{"value":{"amount":"+0.7356262803077698","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":"Q4635864$6BD2458F-27C3-4D5D-BD25-1F4ED3B4FAF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding first-order satisfiability when universal and existential variables are separated","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_first-order_satisfiability_when_universal_and_existential_variables_are_separated"}}}}}