{"entities":{"Q3979516":{"pageid":6009403,"ns":120,"title":"Item:Q3979516","lastrevid":93001379,"modified":"2026-06-05T03:22:09Z","type":"item","id":"Q3979516","labels":{"en":{"language":"en","value":"Experimental comparison of 2-satisfiability algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20096"}},"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":"Q3979516$E602D266-1DE4-43E4-B53B-0C58090A6213","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"928c725ca0194f80ca198c1e957a1d466d6ad046","datavalue":{"value":{"text":"Experimental comparison of 2-satisfiability algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3979516$4E855944-3619-400D-9B6C-603F8D53C441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2138ab9b727a50cd1c4c36c238fa2f4d89848c5","datavalue":{"value":"0746.05062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979516$48825E6A-047B-46A6-9BF3-A400F21AA477","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cc059d624e08de4d2dbe18a862042f4ee3ef5e7","datavalue":{"value":{"entity-type":"item","numeric-id":259076,"id":"Q259076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3979516$4EFA0EE5-DCEB-4645-8DC7-C5803AACAD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5e246b2156a66b2ef031cfcf9e9cd6a9e9aa0f2","datavalue":{"value":{"entity-type":"item","numeric-id":431807,"id":"Q431807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3979516$EA23CFC3-62C9-4B53-9681-DE50EE947729","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34146e9d124eb8f57a6231e1825b5fc0d1c34b9a","datavalue":{"value":{"entity-type":"item","numeric-id":2713139,"id":"Q2713139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3979516$2407B63C-3BAD-4FCB-BC4E-F5C0482AF74A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3979516$B839DB60-1290-41B6-A117-0076B796A079","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2af130fc09f3ad6d5a0e10a462e30136da84b4db","datavalue":{"value":"https://eudml.org/doc/105013","type":"string"},"datatype":"url"},"type":"statement","id":"Q3979516$5B085523-B63A-424F-9E5B-90460F28EE77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979516$F5FD8F4C-5E10-4C6F-861A-D50D6C8B515D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf44e26615690599d17897a03f6aacb4a1dcd165","datavalue":{"value":"20096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979516$E1942283-C034-41D9-9572-CB13CB51EF02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979516$72AC9AA4-998F-4EBE-9C09-86F5BAD6EB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea32729412c8783a7ec0302cf3203b6e3cf5e8df","datavalue":{"value":"2-SATISFIABILITY","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979516$B588D72D-737F-4E2C-920E-A4CC85D6B36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e75612d514eb1a5f612f0afb0d2f17446ac17b","datavalue":{"value":"test problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979516$B4184B0C-40C2-452F-AB26-3C22728447AE","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":"Q3979516$FBAB0DA5-9520-4D18-99E2-BC8C1502DA2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bef9dbfc8732cadd23d4aecbabdb3fe526abd448","datavalue":{"value":"W2519703612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979516$62644E1C-9BDC-47C1-903C-0DD1349D7360","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3af19932876074f095791f2fff152caf8a30c49","datavalue":{"value":"10.1051/RO/1991250302411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979516$3C48C730-2DD1-4F20-881E-CD6A2CB9A011","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ba34895e3cb8080ca5fe8e2f04bc55dda3f070","datavalue":{"value":{"amount":"+0.8183985948562622","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":"Q3979516$9A829E17-BE83-4978-8B7E-C58A7ABBC576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85307005f9aa7b14e41627295230e50fdc5b2df7","datavalue":{"value":{"entity-type":"item","numeric-id":4808676,"id":"Q4808676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4cdd1419fa1845ba3399dd7e2d7288626bf172","datavalue":{"value":{"amount":"+0.8152174949645996","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":"Q3979516$BB7B6704-B576-4AC4-B864-7BBE4D3FE1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820688f0524f1ce342d8361b92f6e4034d64f080","datavalue":{"value":{"amount":"+0.8112805485725403","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":"Q3979516$1E5E6128-D2B6-4FC1-88E3-F84577AEDC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360efbe68b86e46810ab4725a4fe1fdf368fdfa2","datavalue":{"value":{"amount":"+0.8082498908042908","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":"Q3979516$D023743E-AF2A-40F4-B8C0-63D13FA6CFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2f0d759626dd671d8e961165b77fa1b98dba8b","datavalue":{"value":{"entity-type":"item","numeric-id":918700,"id":"Q918700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360efbe68b86e46810ab4725a4fe1fdf368fdfa2","datavalue":{"value":{"amount":"+0.8082498908042908","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":"Q3979516$189A2FE2-4B43-457B-AB71-ACC6B6E7451A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Experimental comparison of 2-satisfiability algorithms","badges":[]}}}}}