{"entities":{"Q3429165":{"pageid":3439868,"ns":120,"title":"Item:Q3429165","lastrevid":80861828,"modified":"2026-05-06T17:10:12Z","type":"item","id":"Q3429165","labels":{"en":{"language":"en","value":"Locality and hard SAT-instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5139171"}},"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":"Q3429165$5671D471-5E2A-468E-BABC-FCCD597F4A23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d05a5ca58a077f96e88024a465c631e6b37d5fb","datavalue":{"value":"1113.68483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429165$2EDA20D2-9EBA-46A7-9251-C3204B11AB3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f8e99f011862c9ce37529ebab7b80e600f59b85","datavalue":{"value":{"entity-type":"item","numeric-id":311573,"id":"Q311573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429165$FBDCE573-F738-444A-A092-FDD8C72A1FF7","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":"Q3429165$0F3DA8C1-E703-4582-B1C2-F2D1E95AB2E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429165$9B119511-C146-49AC-BFD0-C2C32B52A674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429165$9B17E4E5-08E5-43F7-80C6-D0CBA1A36756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b79920cb7b882e555fc976de1c9d5d12a34a4aa","datavalue":{"value":"5139171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429165$3D947420-9B06-4602-87E9-1E36CD4F92CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429165$0C3615BB-F37F-4E3C-AD03-9851A6F45F8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429165$BBF2829B-15FC-4B80-8B4A-9BB0F3DB8AAB","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":"Q3429165$18927B6E-2182-43BC-8825-0A0FD8E7765D","rank":"normal"}],"P1643":[{"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":"ef5acce5f25e529bd31908f42a286092e1d1f451","datavalue":{"value":{"amount":"+0.8140345811843872","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":"Q3429165$85B63041-4F45-4527-B73A-A59F4C4E7F8B","rank":"normal"},{"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":"79ef1127f202f28401c2aea2308c84c6e9dc511f","datavalue":{"value":{"amount":"+0.7803403735160828","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":"Q3429165$BC2EF659-3BD3-4A3B-AF7D-812C37D79B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c7c06dce4651caae8e58460d3d87b5fb7cb07e","datavalue":{"value":{"entity-type":"item","numeric-id":2238712,"id":"Q2238712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9a4ee18a1aee77fbac1d1c0a02302f6e33a259","datavalue":{"value":{"amount":"+0.7662110328674316","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":"Q3429165$6E9CDDF0-485E-4C59-88A8-6A3492106365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75abbbf9c19da44a8addb06e036aaf2e66bf96a","datavalue":{"value":{"entity-type":"item","numeric-id":3192059,"id":"Q3192059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67bb0718478c2b522fbeda6c7dc54bbd52353540","datavalue":{"value":{"amount":"+0.7621358633041382","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":"Q3429165$128494EF-3311-436C-9D1E-0AE5E8C681DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca55a2b07650817b4e5656defc1c379da942eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5714751,"id":"Q5714751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b02fc63a0e06290d903770f6912fd73c84099d","datavalue":{"value":{"amount":"+0.7620033621788025","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":"Q3429165$432854CD-747F-4D4C-B230-377B80C05AE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Locality and hard SAT-instances","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Locality_and_hard_SAT-instances"}}}}}