{"entities":{"Q3612453":{"pageid":5642359,"ns":120,"title":"Item:Q3612453","lastrevid":80929991,"modified":"2026-05-06T17:19:37Z","type":"item","id":"Q3612453","labels":{"en":{"language":"en","value":"Circuit Based Encoding of CNF Formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527193"}},"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":"Q3612453$568E129E-A16B-4C5F-9D8D-78A76912A2C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21788eaadf6ece1ecf5e701c35f09fd7694decc9","datavalue":{"value":{"text":"Circuit Based Encoding of CNF Formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612453$0C268DEC-188B-49F5-819A-916E8F738E4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bef88fc2718cd68e610d70f591dc8836a85d9526","datavalue":{"value":"1214.68341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612453$5D714013-9A45-4C0C-A672-E3E2150FC770","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5555eef2118943d34762ca3734e0db0dfa743b61","datavalue":{"value":"10.1007/978-3-540-72788-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612453$273FA759-618B-4FB3-9BE5-E3F1E98F62A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac138f1d844429ce6110bd110935b4f4685ff8ac","datavalue":{"value":{"entity-type":"item","numeric-id":861701,"id":"Q861701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612453$859C1ECA-89D6-4F86-8280-51ADF8A8F9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612453$219E5E18-F810-4C81-935F-BBA896A1DB82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612453$D502662A-31CC-4764-B803-2AD63F8CDA2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612453$8047FA90-5147-4564-9C40-CC9A359B1ABC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612453$505154F3-5BAA-49E9-AEFD-492F49649706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612453$FA66866E-A8A3-461D-AA9D-8EF07B10615A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40a920f8020af1fd907a10aa072f65d6ab0221ab","datavalue":{"value":"5527193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612453$FDE23958-CA3C-4B7D-BB0E-D5BDD6E38C2F","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":"Q3612453$031E8DB1-2A1F-4BEA-82F1-40A5B52CA44F","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":"Q3612453$2F3154B4-AF34-441A-A8C2-389F5BA58108","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5ddc5b7013a5fc674091791e508596fcc5249c5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612453$5FD9753E-27AE-4DD4-A297-EFAE7FE44E40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4812197144a2b9daf5d51c596ee2a54ed231abc2","datavalue":{"value":"W1557933505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612453$50A21CDA-4074-4733-BE24-1508632E6563","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788f0a16c79ab56e04ce284ffb35c3613ed56c1d","datavalue":{"value":{"entity-type":"item","numeric-id":352967,"id":"Q352967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387bc857b85c7ee75b6706148073c47cd69d01f6","datavalue":{"value":{"amount":"+0.7901303172111511","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":"Q3612453$D55ED754-9C15-4608-B9A0-4CB58D2D1E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f1aad2734ff2548c633917eb0b81f3e658b19e","datavalue":{"value":{"entity-type":"item","numeric-id":3527692,"id":"Q3527692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebe9a5119fb3698f3cc967e4ab669d627d4cebb","datavalue":{"value":{"amount":"+0.7828707098960876","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":"Q3612453$83123B10-05D9-4726-93F9-110629B0C375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f5e6f344dd9c773c216c05d942c887d5e35aa3","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28039065fb42df86566f28223c48b1a7c5e97595","datavalue":{"value":{"amount":"+0.7767161726951599","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":"Q3612453$CC0E569C-58EB-4C97-9BE9-7D0B5933A304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83481197aa19174c53be9966d2d4aeadd34094f6","datavalue":{"value":{"entity-type":"item","numeric-id":3523075,"id":"Q3523075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4cef5d8040ebb7a5f6aa238b28d28f202890ad8","datavalue":{"value":{"amount":"+0.7742186784744263","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":"Q3612453$F88B5E36-DB11-4EB1-B9CE-51CD273ABCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889c411f3b68395fd1dbfef8e4d7d90fbd5ca1fd","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e14fc0e9cc29061d98bd420ec19482e16309750","datavalue":{"value":{"amount":"+0.7680191993713379","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":"Q3612453$1A48CA51-FCEB-4B19-8046-088D45AF456D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Circuit Based Encoding of CNF Formula","badges":[]}}}}}