{"entities":{"Q2800587":{"pageid":2811325,"ns":120,"title":"Item:Q2800587","lastrevid":42130073,"modified":"2025-05-23T13:33:57Z","type":"item","id":"Q2800587","labels":{"en":{"language":"en","value":"Satisfiability on mixed instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6569717"}},"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":"Q2800587$85F34BD1-7BCC-4A5E-A5FA-D43AE9006282","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"186ddc4ad6cec489b9415153916ca7278414a573","datavalue":{"value":"1334.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800587$66817D8E-8D0E-4A56-8BA8-17B31C029A07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cde6a058c3833b2d9089f32dcdaecb94ee87ae8f","datavalue":{"value":"10.1145/2840728.2840768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800587$797A40E0-399E-46C9-9BD4-4D53EE4E25D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5c774289cb06728394ee7f2c45036601a893ea","datavalue":{"value":{"entity-type":"item","numeric-id":334921,"id":"Q334921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800587$4EC0E495-5370-4A39-8479-0F9A32B1EE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b23adbfc18cdc63b7e63348213f20b490e75c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":488048,"id":"Q488048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800587$F7EA7BDC-E0C0-427E-AC1A-CD5E10CB9D8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a31c7d87f2bc8759a21ace2af23e8db986813af9","datavalue":{"value":{"entity-type":"item","numeric-id":2800546,"id":"Q2800546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800587$249B8E06-1684-4E98-BBAA-8FA65C6D80B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57da539027be438345077c3891084db52f2ea1ba","datavalue":{"value":{"time":"+2016-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800587$9AC59259-07C2-4A4F-BE3A-45AAA89A529C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea0e890f72dc70ba5d14d61f6ee45688a8fe4ff2","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/25046586/TR15_192.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2800587$3264BE88-058D-484E-B40B-805F837956DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800587$600719A5-867B-43A3-AD00-080521802430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800587$1C7FC01A-E832-4769-8BDE-8DAF36852EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800587$85287937-2A26-4543-B4ED-999E70914322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e88accf316a5787cda665ac9de3304cd81b497d","datavalue":{"value":"6569717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800587$4E791CB7-11CC-46CE-BC28-3B0DF9C13593","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6399e1ec4a2d28f9512a4d3391a42b329dc89b96","datavalue":{"value":"Boolean satisfiability algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800587$06D57A85-2FDE-4A75-AE82-04F3A5C5E2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5e57d423f34c91634f06fec21325fabcbd3fc9","datavalue":{"value":"mixed instance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800587$E3BBAAB4-4DEE-4245-B3A1-AE2280676603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5ba157f08e57fb7c0ecbe7638bd334592c200f","datavalue":{"value":"quantified Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800587$AC0E0788-34F1-4ED1-8748-165C1514BF8C","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":"Q2800587$4EA188B0-4431-42B2-855E-3FC92FC2E2A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8980689ad63d9ebb61d4aeca95b59044818c0d4","datavalue":{"value":"W2296658079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800587$6B5E2661-3D64-4060-9409-FD07D131ECE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47f218630e3a65921925fa215162a48c4394e4f","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b782f577d102ddbd2ac6c58390036059a85cf20","datavalue":{"value":{"amount":"+0.92037475","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":"Q2800587$166D1848-FEE7-483D-906D-C1534820509C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772471dea4fff19234b138f268654d47ef8408cb","datavalue":{"value":{"entity-type":"item","numeric-id":5145331,"id":"Q5145331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57368ee09fdd6d13411752272716f5a55aab7806","datavalue":{"value":{"amount":"+0.88241005","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":"Q2800587$0A919EDF-447B-4351-B698-7C255BA09A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065a60a9b9c65becb781cb3f5367282d6681b5f8","datavalue":{"value":{"entity-type":"item","numeric-id":5080482,"id":"Q5080482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bf3d10d20c9bcd169bd7bc405b866ddcf00ef2","datavalue":{"value":{"amount":"+0.8817458","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":"Q2800587$D9BFBB03-C9DB-44D9-9128-5C760D16FBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc152b69658baaf410ec2525d1cf798f071f405e","datavalue":{"value":{"entity-type":"item","numeric-id":4369485,"id":"Q4369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686fdc687e3b01f2402e6f142c1430a37d12afdc","datavalue":{"value":{"amount":"+0.8808826","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":"Q2800587$7FF42D8E-2AD5-40E3-89F1-DE87D37A478F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f47c3f10d4883ba5b92b1d9183fc832f62389","datavalue":{"value":{"entity-type":"item","numeric-id":1405330,"id":"Q1405330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48d98d4f2cf35a6e825c69bcb1cf66e4bc8d1fd","datavalue":{"value":{"amount":"+0.8792081","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":"Q2800587$09420862-B504-4EE4-A10C-8CF9C27CE9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c1734539f185b588a6dc63233d5be8e98210d2","datavalue":{"value":{"entity-type":"item","numeric-id":5758134,"id":"Q5758134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96ba2071afcae23af0ed4ff94bfc5f29b7e697d","datavalue":{"value":{"amount":"+0.87828034","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":"Q2800587$E25FF194-48B7-418F-8FFF-F371CE3899A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46ec990cd9a3ce6cac4ee58ba574342be6bfc13","datavalue":{"value":{"entity-type":"item","numeric-id":651313,"id":"Q651313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423f4631865afed94f0bde75fe12934e3724c8e5","datavalue":{"value":{"amount":"+0.874926","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":"Q2800587$302E323C-CD70-40E2-AD6B-A5223B19796A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb29bdfd2432d520a44e436c9a9d449e487108e7","datavalue":{"value":{"entity-type":"item","numeric-id":2405239,"id":"Q2405239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e7a613ef4fc9afab9888de80dd1a267c69a052","datavalue":{"value":{"amount":"+0.86914885","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":"Q2800587$698D43D4-8C93-4C00-BB02-941C327B138A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe660c55e4219fa4b674a150ad5a77aeaf83eaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4992507,"id":"Q4992507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5808fabf1b70d35e7374239416762a9d7e2ceb","datavalue":{"value":{"amount":"+0.8691388","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":"Q2800587$626B2AC4-05EF-4B55-AFD4-C2CC6B4ACECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedb276801d45087077262c44e87c78cdcacf6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3617773,"id":"Q3617773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d512f4bc6ab5adc093bbb24ac324b13323b11422","datavalue":{"value":{"amount":"+0.8673195","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":"Q2800587$DE10E9A5-1597-405D-B1F6-0DA5F642433C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e92a24bcfe6a3d55eacc96369c47d0689c0e1fc3","datavalue":{"value":{"text":"Satisfiability on mixed instances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800587$216DE92D-755A-4909-AC25-840D3DE6E3FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2800587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2800587"}}}}}