{"entities":{"Q3429155":{"pageid":3439858,"ns":120,"title":"Item:Q3429155","lastrevid":80861774,"modified":"2026-05-06T17:10:11Z","type":"item","id":"Q3429155","labels":{"en":{"language":"en","value":"Hard satisfiable clause sets for benchmarking equivalence reasoning techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5139162"}},"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":"Q3429155$46085E29-F26A-40AB-A138-30E61FA7118C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f71623d368e13a7b467e39531f53ab70e358483","datavalue":{"value":"1116.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429155$9F1CD7D9-9948-4D20-972A-080771C31C8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41b530189d21ae90a7fda1035c7436fbf06a44fa","datavalue":{"value":{"entity-type":"item","numeric-id":614029,"id":"Q614029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429155$C1A907D3-B832-49F8-9C00-315F12FDEC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429155$2E1E8606-18A9-4768-8A44-43AC942078AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9292ff12e4171a5091c022d8ddfe9a9a84e01eef","datavalue":{"value":{"entity-type":"item","numeric-id":262280,"id":"Q262280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429155$AADCB32D-0DC5-4225-B21A-7228CE5075C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429155$48152D20-10A3-4AB3-B6B2-B256BE1B11D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"999c06250c45be6695060c162af57ec5d0c04ef8","datavalue":{"value":{"time":"+2007-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3429155$957D5BD7-E6DD-47CB-AEA6-C89634259134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429155$0905C8EA-784B-426F-A458-33E0221E1CFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7872fe2687e86f6cf17745423e2b3819ea876312","datavalue":{"value":"5139162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429155$DBCD536B-7AD4-44F8-ACA3-202A71796B8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429155$B4D1FBEE-D691-40E4-A004-5922672D0230","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429155$60F19A69-2A6F-4302-A229-DC8BC43147A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8ebd0d95437221445cb2bfed9bc4709cec91c80","datavalue":{"value":{"entity-type":"item","numeric-id":13303,"id":"Q13303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429155$86BBDBC3-426E-45B3-A776-1E48B3E56AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429155$2CE9C411-F165-4415-844B-E59C7450DDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429155$B70F1F48-D167-4877-9634-51918EAC7DCD","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":"Q3429155$11AC5A04-5716-44A7-95E9-2B3E58694680","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d1ff28b91f1f97e61fcd58f34e8fc60a79c4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d9b15731444189f46facd4dd1386612c7fc840","datavalue":{"value":{"amount":"+0.7771235108375549","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":"Q3429155$A3B33631-5BF1-4628-99A9-12AB435A4DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fb4ec7025be3325ecbaccc65ea3afd4737228d","datavalue":{"value":{"amount":"+0.7627753615379333","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":"Q3429155$E44E2338-E771-46F9-8849-544FE834EFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403bf5899a33ab856f9318677941ac6ae30ca4e0","datavalue":{"value":{"entity-type":"item","numeric-id":5714747,"id":"Q5714747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec0c13f8b236e128e186090a766c576775dc686","datavalue":{"value":{"amount":"+0.7555391192436218","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":"Q3429155$22FD7588-8BE0-43FC-83D5-B1B5EBB892C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7f470638441c8536e9acea9af09605fb53b201","datavalue":{"value":{"entity-type":"item","numeric-id":5406224,"id":"Q5406224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5aaa15b021a6cba1ac5efd073a00e4519adbe2","datavalue":{"value":{"amount":"+0.754672110080719","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":"Q3429155$A4542740-1E75-4606-9C78-A5E4700222F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2c5bee6aa30188bc0d338f7d62079cb0cfa7ba","datavalue":{"value":{"entity-type":"item","numeric-id":3429165,"id":"Q3429165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025f59fe1eb88ba395692ab3b057fbbdc59d8eaf","datavalue":{"value":{"amount":"+0.7506989240646362","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":"Q3429155$EB74CAC2-028A-4C1E-8173-0F19BCCF2C9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hard satisfiable clause sets for benchmarking equivalence reasoning techniques","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hard_satisfiable_clause_sets_for_benchmarking_equivalence_reasoning_techniques"}}}}}