{"entities":{"Q2225120":{"pageid":2235863,"ns":120,"title":"Item:Q2225120","lastrevid":78749732,"modified":"2026-05-06T12:21:02Z","type":"item","id":"Q2225120","labels":{"en":{"language":"en","value":"Approximate counting of minimal unsatisfiable subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306422"}},"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":"Q2225120$E77115DA-4A61-46D0-9BD9-5DDE67938FBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1051015b4fc227a9e5f55791531cf32e1c61ea3c","datavalue":{"value":{"text":"Approximate counting of minimal unsatisfiable subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225120$10539015-FD84-41A4-BD4D-7989569E6F20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f209101a7d04a6660cf16cf959d677ab1333f71","datavalue":{"value":"1478.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225120$0A188AC6-5916-4010-BACE-1F7B7A1E3A25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89e02d18aaa5e04132e511a95934501adcc63ee1","datavalue":{"value":"10.1007/978-3-030-53288-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225120$2A76F217-2259-4A47-8627-4C40FE0B2579","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b44d9183270609fbf85b361b8fe23fe5412807da","datavalue":{"value":{"entity-type":"item","numeric-id":832271,"id":"Q832271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225120$36892B32-4200-4E14-AAB2-41A0245131CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a6ae786fa267642e531285986729301470d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":265700,"id":"Q265700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225120$6260C589-0DBB-46AC-808C-C4F93521B488","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225120$162AA12D-30AD-48C0-8F6F-8EA23B006B1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225120$24DF9E63-DFD5-474D-B27D-C44D6D69B924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225120$2936FE29-E7D8-4E89-9F96-5FD3158D1170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa4d0ddb7528074a3994cd7972d46f3a4f5a8f01","datavalue":{"value":"7306422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225120$23FD1072-338D-4311-B552-6D36B88C852C","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":"Q2225120$C8E8F8D7-DA52-47F4-BDF3-11B37F55FED4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09f7a4f2cf72636570f52c0742b7581ca7eeeb53","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53288-8_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225120$E539C55D-ED0B-4FC2-B716-DCEC232C7CD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edc7b45928eaca39b9bfac47024f2ab4efd4cf01","datavalue":{"value":"W3043371138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225120$092894B0-C088-4585-AB2B-FC13333220DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a940528c877260cef63f32e25b191eac36ad8573","datavalue":{"value":{"entity-type":"item","numeric-id":832272,"id":"Q832272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e529e6f4ebfc54a7e6266804339c193f8e5eaeeb","datavalue":{"value":{"amount":"+0.942357897758484","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":"Q2225120$47114AA7-384F-4B8E-B395-F7E6065F1BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9557bfd0102b2b6f1ac660476e81b4600f223ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3502716,"id":"Q3502716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b2e4304d453622fda08e9837cb02804a2cdc29","datavalue":{"value":{"amount":"+0.8325580358505249","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":"Q2225120$33F4CD27-B04A-48D7-B38B-0E916CC316FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e642f023fc52bcaf7eef459cf6156ef8d7a3f042","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633e00991860df525e39f95ed78696b5ec6f12eb","datavalue":{"value":{"amount":"+0.80945885181427","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":"Q2225120$5481F9E6-714C-44BF-8D52-97F7487B71ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa6c6b31111eeade84d2ff432ead8862cfeb872","datavalue":{"value":{"entity-type":"item","numeric-id":2385174,"id":"Q2385174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2c2d1467e71950c9050bd02b8fee4c90da35b5","datavalue":{"value":{"amount":"+0.8058443069458008","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":"Q2225120$BAA6B2A0-A589-4D87-B259-70F454F5331C","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":"b19d51f740d8fbbff0de56f138bca4320c5b6553","datavalue":{"value":{"amount":"+0.8036202788352966","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":"Q2225120$4B64D5F3-0E4F-48C7-A9EA-7C6F16166478","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225120$D99636D7-FB53-4DBA-8F23-DAC4D6934098","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate counting of minimal unsatisfiable subsets","badges":[]}}}}}