{"entities":{"Q3502708":{"pageid":5532611,"ns":120,"title":"Item:Q3502708","lastrevid":87276854,"modified":"2026-06-04T11:16:47Z","type":"item","id":"Q3502708","labels":{"en":{"language":"en","value":"Nenofex: Expanding NNF for QBF Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279248"}},"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":"Q3502708$155D0E8E-AC40-4C83-907A-3EA0E5AC1010","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6cdfbeb66de234f148526fef5f026c6a51f1eaf","datavalue":{"value":{"text":"Nenofex: Expanding NNF for QBF Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502708$6AC412E3-F7BD-4090-8BE8-1DB9D1FAB556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a8dc3b681b69069444f9a0c08e8b32f2d233f4a","datavalue":{"value":"1138.68546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502708$7D56E01B-B184-44D0-B5F2-658C688F4164","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"768fce7734a38cf996025b06932d934682db14cd","datavalue":{"value":"10.1007/978-3-540-79719-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502708$93FE64D9-0E01-4940-AC88-B1EFC7FE477E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a3b9db4e00166cd3cb753494ad16f6a97e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":286394,"id":"Q286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502708$1773621B-0A4C-4022-A619-2158ACF0B95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502708$5ADFD8ED-3892-49D2-8DD0-2EAD05614A4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502708$86185093-A2EF-46BE-B521-5F5F849EF1F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502708$F8F5C119-0746-4B67-B26C-A2537E7D3802","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502708$A0C1C980-870A-4ABA-AC50-80B83F577923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502708$49BBB767-9127-4AEA-9540-1A764C1394BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e0f7962750fe6da8c683ac8f72e64b1fc501dff","datavalue":{"value":"5279248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502708$7C4FDF37-7811-47B9-8525-D4BBA97DDF5D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87973a7a71e3ffa05ce5b5aeabcd6b005b85607e","datavalue":{"value":{"entity-type":"item","numeric-id":21561,"id":"Q21561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502708$66BF29C4-7529-472B-9696-DAD8E415943F","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":"Q3502708$E3BAC5BF-15D4-42C8-8794-DAB59947603D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3f116cfc630cb4a5bad3167af83eb008dfddf3e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502708$413FC75C-F376-4D62-B425-C822522927DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e1775b0b40e02ffaa98fc92fe542ed38e36d53b","datavalue":{"value":"W1513754266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502708$C69F92A0-989E-4523-BCEA-08B4E7217B88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1758042405434138d14efb0c0f39ea4481adfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2da285e61015e22cf4595148021d22b2f54a67","datavalue":{"value":{"amount":"+0.8065752983093262","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":"Q3502708$D5CA1D4F-29D4-4394-B6EC-F14CA79D0BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c733211105b38a2a26b9dc19b8b9e469ed3ff78","datavalue":{"value":{"entity-type":"item","numeric-id":2058378,"id":"Q2058378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebf776c91f0a29fd8d9f7cb288fa937ec32cb9d","datavalue":{"value":{"amount":"+0.7858831286430359","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":"Q3502708$4E5F9367-3375-4D7D-BFA2-2BB8F25C8034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de6f2e4e5712eb2f6d73b4affbab8354491cd9a","datavalue":{"value":{"entity-type":"item","numeric-id":5223208,"id":"Q5223208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0233e32fe48f5659f202d0902dfa95848fa945c4","datavalue":{"value":{"amount":"+0.776075005531311","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":"Q3502708$C12647B9-33E7-43A1-8F42-0B3BA1053811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd56edf54f27508795f985fdb8fe850a23e1491","datavalue":{"value":{"entity-type":"item","numeric-id":2164249,"id":"Q2164249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e2f8838bda8deaa95d468680a91efe8deb5751","datavalue":{"value":{"amount":"+0.7597925066947937","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":"Q3502708$0DC84818-94A8-427C-B29D-451715E4789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ff8464602a5033ddbcbed7710f98cb87c90ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2181919,"id":"Q2181919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedca7df49e8bf534ba9f8b85598fe60c6856ebd","datavalue":{"value":{"amount":"+0.757815957069397","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":"Q3502708$2DF32DB2-537C-437C-AAB0-49A27EB85942","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nenofex: Expanding NNF for QBF Solving","badges":[]}}}}}