{"entities":{"Q3007680":{"pageid":3018404,"ns":120,"title":"Item:Q3007680","lastrevid":51269543,"modified":"2026-01-17T13:07:49Z","type":"item","id":"Q3007680","labels":{"en":{"language":"en","value":"Minimally unsatisfiable Boolean circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908743"}},"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":"Q3007680$9866CD42-D192-4BBB-ACD9-4DD9853EA75D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89e1d846b746354feac0b4bf2878c5593d793f88","datavalue":{"value":{"text":"Minimally Unsatisfiable Boolean Circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007680$1350A22A-CAC2-4FF6-8845-86F6A9C2FFEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e39b942dc7180f15e39a6942c9447fc5a1c2463b","datavalue":{"value":"1330.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007680$8BAF1E47-4F97-4B6B-BA7A-A53FEE0ED20D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84ae3a6d726d7d8f28be33b6f9e3d5d121f3b22f","datavalue":{"value":"10.1007/978-3-642-21581-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007680$64E8A8DB-DB31-41BD-895D-0142DF66160E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"323b5428bd25b1bf57218d22ff06d9e5b29f1d38","datavalue":{"value":{"entity-type":"item","numeric-id":460637,"id":"Q460637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007680$2DAB4D10-F288-4836-8169-3891076FF75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007680$4CEFD9F2-C72B-49C2-A37B-6BE4C852240A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007680$B038A814-5A82-4B3D-B5B5-4AF74083F85F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007680$47E5261F-A247-495A-9C8B-9ED369B2EA1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007680$8C958E9D-98A8-4ED0-AEF4-B11D2E54A4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007680$88B02BE1-9F93-41F4-B2B8-B7B7940034CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007680$12B35381-D4C4-4EAD-A45A-14B6A9C3F371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007680$8E67F184-8567-42D0-989C-551D66EDDECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d501cb4c901decedb8befe1500978e298fda583","datavalue":{"value":"5908743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007680$B6316D08-2A47-424E-B9EE-6BAA4116E26F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007680$290B42B1-892B-4E4A-B481-B272F196CD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007680$6E8095E0-511E-4ED0-B965-FBDB060BD9D2","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":"Q3007680$F5FE81B4-B3A1-44E8-83F4-C9FA8CCED14C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46f78c7219906f5685ffe04a672a4415f6b9ae81","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007680$E2EFF94E-E510-45D5-8CEE-65AF0C7983DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf9111e592a44b89727ebbdd75063d0484d4faeb","datavalue":{"value":"W19370143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007680$D73F2620-77DB-4AEE-B35C-CA30DD22C338","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007680$6C3D6541-2310-4ED6-ADFF-74DAB5B9A263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4cdf856af282ee8447b2c021f82bbd4429c00a","datavalue":{"value":{"entity-type":"item","numeric-id":1037449,"id":"Q1037449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007680$2829E855-0CF0-4BB3-AA38-795142F639CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca60c6bd18a73ea64a5c853bb097ca2240be4eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007680$D5AD2379-EE86-43DF-917B-FA6C300108D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63a7a2fec52836913d0bf34397962d6c1f185fc","datavalue":{"value":{"entity-type":"item","numeric-id":3400917,"id":"Q3400917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007680$915431B3-E626-471A-A7E8-BED5ECDC0541","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1536bf8c2cadd22efa4a8651783666c3a27c892c","datavalue":{"value":{"entity-type":"item","numeric-id":4583686,"id":"Q4583686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c231167dabd8cdfcbedf916340225bba0b0eff","datavalue":{"value":{"amount":"+0.7999690771102905","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":"Q3007680$D5E62EF5-A175-4133-84C9-F76F4E25C8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39563c7a98c34a833ae5ca4a4d7d0915f18b0c8","datavalue":{"value":{"entity-type":"item","numeric-id":1037449,"id":"Q1037449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9e34ce6bb928d9ba47d29191a491e94f3269af","datavalue":{"value":{"amount":"+0.7851091027259827","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":"Q3007680$FB55F57C-D48A-4A32-924E-A767D6B1259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d8f4144fa41e0aa64fc9f8a1edc902b4d09420","datavalue":{"value":{"entity-type":"item","numeric-id":5463945,"id":"Q5463945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f233a30a517960892c37e9c779f6c2749d7a7115","datavalue":{"value":{"amount":"+0.7750614881515503","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":"Q3007680$913367FC-2F7F-45C5-ABE2-43B31B56B4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7932f2d5f9d14bec23c4ff60e3f47363cac9e8","datavalue":{"value":{"entity-type":"item","numeric-id":2181933,"id":"Q2181933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9775dbafbf5a40d25e5f4197095d1380c875bcff","datavalue":{"value":{"amount":"+0.7654934525489807","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":"Q3007680$9AFDDDEA-6DD2-409B-A296-3108D3156DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad905d83d2a10e210e82c599b9f179dad7ea7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a77017449ca5f9287ae9ba8c8a33382a82da6ed","datavalue":{"value":{"amount":"+0.7445261478424072","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":"Q3007680$8697F99E-B979-4E7B-9EB4-A4A068F5BEB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007680"}}}}}