{"entities":{"Q2366070":{"pageid":2376813,"ns":120,"title":"Item:Q2366070","lastrevid":72613401,"modified":"2026-04-14T06:04:56Z","type":"item","id":"Q2366070","labels":{"en":{"language":"en","value":"Satisfiability of the smallest binary program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223223"}},"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":"Q2366070$62641E38-0B61-4790-A8FA-ECD680EC8184","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed05087f4779e4d31089ad7a4ab58f7bf520897e","datavalue":{"value":{"text":"Satisfiability of the smallest binary program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366070$23DFB58D-3E2D-4CAD-8CBB-40D3844E7A9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb3ad8b83489265cdc5c2e3725d83ee78ed12dfa","datavalue":{"value":"0771.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366070$9FDA744F-77BD-4DC8-B432-A080C41A3543","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd44ac57cc19ffa650390848027bcf8d6edad9d0","datavalue":{"value":"10.1016/0020-0190(93)90210-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366070$652AC92A-A630-4602-B07D-89A49BE539AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"936eb2036f1677d341925bf9f82fab7aad3bfabc","datavalue":{"value":{"entity-type":"item","numeric-id":1897395,"id":"Q1897395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$A2797215-A39D-4039-A080-ADA546F58C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2b258e8207dec3be6babbc431cdf710ee4ba4d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591424,"id":"Q1591424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$7A10D002-7A60-4FB6-A5B6-5C725EACC7D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$D9881971-C2F7-4E86-9DE1-963DAE66F80D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366070$3A9035D2-326E-44E3-9F2A-EF41AF251642","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366070$B8F2D02D-C7D6-44B0-BC64-54875F7B80DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366070$6FD72064-34BB-4FBF-A84B-2D578F16D7DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf63ed73bd7b9e508f5e56bebc47faa6caa59123","datavalue":{"value":"223223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366070$6775C309-8FE9-4B77-A00C-0828DF8F2506","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366070$D38D2C9F-891D-4BE7-9DA9-105802C5253A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8696603e8e9105c23b088e3260289d27f5ad208","datavalue":{"value":"smallest binary program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366070$0691AC83-D008-4E70-AC5C-EE15256CC829","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":"Q2366070$41F964D3-AE2B-4DCA-9081-471BB32FDD51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4202f09d7cd72f0d6bd2fae7066a0a1771e5069","datavalue":{"value":{"entity-type":"item","numeric-id":5639707,"id":"Q5639707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$ED16FED7-76E6-44BF-906D-072F2BA3A02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7617e49eebd76235c9f9965e69ae0f7045d5a612","datavalue":{"value":{"entity-type":"item","numeric-id":4264713,"id":"Q4264713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$C00121CE-10B3-4313-98F9-230409FB5714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$389877CD-E772-462A-B510-ED44C0CE876D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8a88091958a13ed5f8e25263f5388706baba77","datavalue":{"value":{"entity-type":"item","numeric-id":915431,"id":"Q915431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$D8E98348-037D-4550-A982-7B1B65191462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9089878ca1d287bb1ef3c5c7863f1293bab9c51","datavalue":{"value":{"entity-type":"item","numeric-id":3742749,"id":"Q3742749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$3689F4CD-93E2-4E2C-BD28-5A5927495055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67029a4354c9f7d643ff8fa65fefffb8144d443","datavalue":{"value":{"entity-type":"item","numeric-id":4281507,"id":"Q4281507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$B51F6F48-0D78-45DA-808A-0079DCEFF611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d375a0ec3cf1eec1ecbd9529c6414e42f9c1e5","datavalue":{"value":{"entity-type":"item","numeric-id":4159027,"id":"Q4159027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$10359B75-B744-47CD-905E-3D24E3EE9DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$0C5D72B8-1C3C-416B-8FF6-DF4417BA5D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4415751081b2a1d8be85017c609bce29c7efd71","datavalue":{"value":{"entity-type":"item","numeric-id":4230359,"id":"Q4230359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$81586BA1-5DCB-4200-8586-8F6330FE326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$28352C49-2451-4F94-82D1-CBB8319150D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d010237823058ee52c3b0cd0e375eb656d46e39a","datavalue":{"value":{"entity-type":"item","numeric-id":1097714,"id":"Q1097714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$16FAFEFA-0F84-4138-AA7F-993D8A57C07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91dccb3b32bc57d3dde01bce7e911858f770bc","datavalue":{"value":{"entity-type":"item","numeric-id":1110493,"id":"Q1110493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366070$56686CC4-051D-4421-A18D-4BDD91C7EAEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b481bed2d4f04520ffe000535a4c6fd8054a0919","datavalue":{"value":{"entity-type":"item","numeric-id":3129505,"id":"Q3129505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dad0be4d029170ea6fe369071bbc80e951390b","datavalue":{"value":{"amount":"+0.7861820459365845","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":"Q2366070$4F4C5EDB-5E8B-4301-BA4C-F7EA339B4F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e0368d00fb92c1f1dba64ba8bd0d25ad03c232a","datavalue":{"value":{"entity-type":"item","numeric-id":4281507,"id":"Q4281507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1fe1020ec291239c908930aa6c319988149ff1","datavalue":{"value":{"amount":"+0.762576162815094","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":"Q2366070$2296160B-A43A-4F3C-A179-FDFE63115883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d734cf47ec5d74c2caf3a77a7778b0c7e3a950a6","datavalue":{"value":{"entity-type":"item","numeric-id":4525287,"id":"Q4525287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b7633c54ecfa743490fa6a06fa06ff0b778f97","datavalue":{"value":{"amount":"+0.7064309120178223","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":"Q2366070$77F6042E-4753-4A55-86E6-D96CDA3F1037","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability of the smallest binary program","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_of_the_smallest_binary_program"}}}}}