{"entities":{"Q3521905":{"pageid":5551809,"ns":120,"title":"Item:Q3521905","lastrevid":50438450,"modified":"2026-01-14T01:35:45Z","type":"item","id":"Q3521905","labels":{"en":{"language":"en","value":"The Complexity of Boolean Formula Minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317215"}},"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":"Q3521905$B3172410-57AF-4664-9E6C-B7BA19D4C496","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0a1569cf534ba5360a67e3797c61e92aae48c75","datavalue":{"value":{"text":"The Complexity of Boolean Formula Minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3521905$E7884EB8-A64B-4B6C-91CD-6617805BB480","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4195bafeeacc35fa3159ba9e6e5b3fc119b2417f","datavalue":{"value":"1152.68445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521905$3D10E6F5-91BB-4C93-AABA-20ACD40A6A62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fe95f5a15d75441d3b799545d0b74d0012bc0e9","datavalue":{"value":"10.1007/978-3-540-70575-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521905$F1E114F1-BCBC-4AC5-B9AA-0ED03477CF01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a88497d2251180984881a26a649d7323629ca102","datavalue":{"value":{"entity-type":"item","numeric-id":619910,"id":"Q619910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521905$E9B67203-9286-4321-905A-5D63577A3D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38f9713b33c60ebac5c746bbd60ab2092a5fdce3","datavalue":{"value":{"entity-type":"item","numeric-id":354641,"id":"Q354641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521905$94F9AC72-88F8-407B-B25C-CC9F85E871A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521905$DB68D882-F35B-4647-9C42-7E7FC211A1A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3521905$D6B9E3B1-3C13-4C5F-BA59-B2573441A734","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9303a3cc3800d45fd1450e9a2cb6adc055a5593","datavalue":{"value":"https://authors.library.caltech.edu/23422/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3521905$6C43FA59-2741-4A92-9BA3-41BFE91D751C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521905$6251B008-C46D-4492-BC9E-7434DDAABAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521905$C2DCECEF-9EB0-4378-BF8A-D2243DDF982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521905$C7B93304-4EB4-4B1D-90FF-5D4AFAC05083","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"223da59314796eb02df324e02283762e5df7973f","datavalue":{"value":"5317215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521905$5F8718F1-C3B8-426A-B65F-A3FD2EEF62C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4afd26d4c809369224281a5228544b48d8d9436a","datavalue":{"value":"Q56813874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521905$5E680064-F083-4375-BAC1-44938E82BFA3","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":"Q3521905$91452FAF-D33B-408A-9517-32695CAB1006","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccaefd2ca4481aa48246fa12bbb5e0b60981250c","datavalue":{"value":"W1494752912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521905$08782984-A75A-4DDC-8FC9-1EFD05ECE72E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5766965d04d953ffb15f5001196da356fc1e7197","datavalue":{"value":"conf/icalp/BuchfuhrerU08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521905$9923ABFA-6B15-4CB0-A80F-45C55296190B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f614cc1a4b9163a9b7ded2de992f438ad7d9bf4","datavalue":{"value":{"entity-type":"item","numeric-id":619911,"id":"Q619911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6065eac47e4b5012fe9882c3c9fed5ee0d35c5","datavalue":{"value":{"amount":"+0.9924494624137878","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":"Q3521905$8BC2C615-77F2-4B24-AD2C-A59268AA8A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdafcdb55549a9ea4bdb51f06ac368c5d42c008","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93aa9e385dd650bbe834eb0c6ee28f2efa005f6","datavalue":{"value":{"amount":"+0.8359559178352356","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":"Q3521905$439DF2ED-164D-4F32-B2BF-5154F6A9E6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76063991b7c0a6f1a80b8fffcc3f1944be68421c","datavalue":{"value":{"entity-type":"item","numeric-id":4785629,"id":"Q4785629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc5a55e4164fe6075983f09d769ca48ef187418","datavalue":{"value":{"amount":"+0.8325192928314209","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":"Q3521905$EE6F7644-80A2-44D6-BDF6-27EAACBAEE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d119468efadec147d8e415d632c1da9eae99998","datavalue":{"value":{"entity-type":"item","numeric-id":3596751,"id":"Q3596751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d3395b4e3ce934345dd119f8a0590646309f24","datavalue":{"value":{"amount":"+0.7963834404945374","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":"Q3521905$4211A8B3-2C98-45D7-9B33-A7FF28099FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10244f636439c2f69380574916d6a5b62c000f4a","datavalue":{"value":{"entity-type":"item","numeric-id":3335526,"id":"Q3335526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d26d9ca49242c62bbd28805894b10732093be3a","datavalue":{"value":{"amount":"+0.7919994592666626","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":"Q3521905$6E96A633-A6CF-4A32-AA7F-9E6A468A4DC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3521905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3521905"}}}}}