{"entities":{"Q2694547":{"pageid":2705291,"ns":120,"title":"Item:Q2694547","lastrevid":44638305,"modified":"2025-11-24T14:35:36Z","type":"item","id":"Q2694547","labels":{"en":{"language":"en","value":"Enumeration of minimal models and MUSes in WASP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7671876"}},"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":"Q2694547$CA5B7D05-2142-428E-809A-DAF4A8E8EF43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b33d5c8b731e9c9dbee735d9d33c14c6e24db1eb","datavalue":{"value":{"text":"Enumeration of minimal models and MUSes in WASP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2694547$CB81A494-1218-4EE8-BF2C-6CBF4B29E4DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb17192f8f362ce05af6299701f1bf3081ba5d88","datavalue":{"value":"10.1007/978-3-031-15707-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694547$3BEFA988-996F-449B-925A-7ADBB2273B89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$543CAC0F-ADFC-4430-B538-BB18FD5BC738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"750927c5fb765835282b75675de140e07cdbdd80","datavalue":{"value":{"entity-type":"item","numeric-id":2238695,"id":"Q2238695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$56E38B97-2FEC-405E-A78B-1B4C9EB390C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f740a431ef828c48c99f0f836c826d2b415b2789","datavalue":{"value":{"entity-type":"item","numeric-id":2694546,"id":"Q2694546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$C431E75E-2871-40D0-BC88-B66F3A903A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc66809533143588d5d844a649a4a72c194e20a3","datavalue":{"value":{"entity-type":"item","numeric-id":899443,"id":"Q899443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$D4CF92A7-2C23-43E6-8F77-16FFDCCFBAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e202ca924b8383db20d8d0eceb06bd712cab707c","datavalue":{"value":{"entity-type":"item","numeric-id":272007,"id":"Q272007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$D7651238-D804-44C4-A97C-AC5FDFF9BB28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3231911715c88eeda68ab5624fcc2c3ec367b8db","datavalue":{"value":{"time":"+2023-04-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":"Q2694547$7FC781A8-095D-469A-98F1-116EDC26EA1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694547$689D5F2D-30A3-43AF-A32D-A02ECF1C995F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4c16c9bd8f2b9f4e8563fb1ac4ea16de8cb0eb2","datavalue":{"value":"7671876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694547$C39DCF87-B6E6-4E95-83A1-E45D85C31310","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694547$D30846A1-CF4D-467B-B88C-3E07AB60A94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694547$19462F3C-20A8-4A62-849D-9B8BD38B0756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694547$982E38F1-EAC1-4DD1-B6AE-2AA2823FA0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c233a9983a53b81beee6cbfe2165fe8bc60308de","datavalue":{"value":"MUS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694547$3BC22C88-368B-4519-B78E-0A48B870DF59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"135537fb2cc7ae7d8917eaeb53646025eb373b13","datavalue":{"value":{"entity-type":"item","numeric-id":21546,"id":"Q21546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$037A08C1-16E2-4F2A-A751-FA757C00B7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"021feba347e27c3b816d7e11daff9332ef511cf6","datavalue":{"value":{"entity-type":"item","numeric-id":44802,"id":"Q44802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$9C487EEC-460D-47D3-9011-EBD204E0731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fda00351a02a5ed7eb6fc4872361840bcbd6feb3","datavalue":{"value":{"entity-type":"item","numeric-id":21872,"id":"Q21872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$A1F535E0-89DA-483D-BC1B-C556AE3E9F55","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":"Q2694547$C1DB54A8-9B0D-4AD0-82F7-2C06E0FAE4B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e4a2cea2c45c5cdff2a48ac12956302c09b282a","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15707-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2694547$F03BE4EF-4D06-40E0-8071-1DF8BAAA3A28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"428b533db1286108688832ff37930ea8c8d47428","datavalue":{"value":"W4293180476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694547$C1121F28-FEC7-4D6A-B3FB-644183CC686A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd1b888a7609321a2bc3e82ce57944c6cb52c34","datavalue":{"value":{"entity-type":"item","numeric-id":5223207,"id":"Q5223207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$4AEC82CC-21C1-4BBC-8670-E1A423E3FB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c8d5197dd8fd9d2228af5f121dc5ebad4f6142","datavalue":{"value":{"entity-type":"item","numeric-id":3449189,"id":"Q3449189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$0696B7B4-F90A-4B7F-A348-43A5162D0859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b604d82c2defca39012e354674864f56942de79","datavalue":{"value":{"entity-type":"item","numeric-id":2931278,"id":"Q2931278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$B0865165-A9AF-4CB0-AC7B-434DBA5FF48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e1136e906f5f6aa609057680575be8b68d034d","datavalue":{"value":{"entity-type":"item","numeric-id":2238696,"id":"Q2238696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$7AEF8A07-FB6C-4723-B508-05DDD3D47815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1b6904cdc3e679a0d07a7ddb7d4086ca03cce1","datavalue":{"value":{"entity-type":"item","numeric-id":2321259,"id":"Q2321259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$4A89F159-005E-41FA-BB74-91F1FA817E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5a439ad8d4c6ab1137e52e48a534b00e2b2873","datavalue":{"value":{"entity-type":"item","numeric-id":606909,"id":"Q606909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$23448166-2349-4D64-8FC8-908AB6A4E86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c000dda78027feff507fd3de765227cb70356a0f","datavalue":{"value":{"entity-type":"item","numeric-id":5197755,"id":"Q5197755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$CDE1A568-C62C-41A6-AC5F-EA7550F9F660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a18a97e376c807cc3666c7857f971355d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$9EEDE2CF-08EA-485B-8B89-DC10F02944CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$C5D83C08-B2E7-407F-B5EF-8E65585B570B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835fa459b73410c61bf5c354506b5995c700aad","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$10A87B86-F3AC-4AE0-8EFC-76BCED44A026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cca8012b9326308a2cafc256eeec2b7569fdd7c","datavalue":{"value":{"entity-type":"item","numeric-id":1677431,"id":"Q1677431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$2439DDA4-750B-46D9-91D0-4AB17ACF2EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"022daa72b4a0e8ab899f959200783b78426e4c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2661359,"id":"Q2661359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$7E628F46-1369-43AB-ADF8-39E4438DE5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f691e12abf925458b2c4f27df93e09b42818fb9","datavalue":{"value":{"entity-type":"item","numeric-id":6063865,"id":"Q6063865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694547$D8F524C2-67C4-4FFF-8871-7448E3EE07E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2694547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2694547"}}}}}