{"entities":{"Q3194802":{"pageid":3205510,"ns":120,"title":"Item:Q3194802","lastrevid":52370783,"modified":"2026-01-22T11:58:59Z","type":"item","id":"Q3194802","labels":{"en":{"language":"en","value":"MUSer2: an efficient MUS extractor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496940"}},"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":"Q3194802$E4DB7AC7-9DD1-42E9-A44E-01DA7AB00DA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbf55f6c01d80172f9c2a393c09ccad00d084933","datavalue":{"value":"1322.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194802$1AA4C281-BB43-4718-AF13-7203DAD64127","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":"Q3194802$8A28728A-C4B2-4EDB-A824-1DB57DE40D14","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":"Q3194802$94530F5E-73FA-43D4-B1AD-F58D5695F61B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3194802$1B25D494-0C63-4177-AFC6-EF3468BD5186","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194802$FE71CC78-9569-426E-A274-862BB564E9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194802$E5214A4F-B148-40B2-B989-EEF400C48CFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ba6d4165875b92a61f7dd4b08410ab29d8a39c6","datavalue":{"value":"6496940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194802$D493ECDF-5837-4601-A338-EEFB3B571DC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc1107713b7cb9537df133dc1c97d1f3a18c9e","datavalue":{"value":"minimal unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194802$EEDD4A95-2B36-4EA6-A637-0BB1AA0B7B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a33ba30e81d666b27096bbabd95c7bf6b25891dc","datavalue":{"value":"MUS extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194802$7C089B8A-EB53-4DFD-A2D2-412C828D4D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0284f2c11942b7b6a79cab1769f1b7740622beab","datavalue":{"value":"SAT applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194802$39F6B5D9-8A3F-443E-94ED-D33332EA4C43","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194802$39A52FE0-55BB-43F7-A2BC-C8A6686F0F2B","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":"Q3194802$818338CA-686F-424A-93B7-BF7D0B47A4A0","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":"Q3194802$319468FA-E70C-4AFE-B004-77A9C50DAF20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8c52bd953e9c62610877b37ac8a67577777d58","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3458798d03bb5b1dbe9202dfb1985893a0c46773","datavalue":{"value":{"amount":"+0.9498271942138672","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":"Q3194802$2B59C195-4CE4-4DD1-8206-4AD267171B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e919585733e4e0e444af90ed3a2b761251c84723","datavalue":{"value":{"entity-type":"item","numeric-id":3164969,"id":"Q3164969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c84e71e762149922192fa3709892b886015ef44","datavalue":{"value":{"amount":"+0.9337944388389589","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":"Q3194802$978B69A2-3619-4670-95B3-23E29E7C28CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2cacb87b686e06c1aff918d140272459c0fa3c","datavalue":{"value":{"entity-type":"item","numeric-id":3192054,"id":"Q3192054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b22a95a1c53e7df8c2b01d77fd976d56b6bb29","datavalue":{"value":{"amount":"+0.8638969659805298","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":"Q3194802$3087066C-5040-4E00-8813-5D14C9C13820","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":"318cb4b7e11860db1215e7e8d66ce553ce2ad361","datavalue":{"value":{"amount":"+0.8601659536361694","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":"Q3194802$E20D07EB-EFC2-438D-A6D5-14C0C371BA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71f7979605b041674269c47004c0cf477532cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3655210,"id":"Q3655210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59dc3ceae857b990c3de57aa0f3eaabdbb387f5b","datavalue":{"value":{"amount":"+0.8576555848121643","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":"Q3194802$3498B2EA-EF42-4E2A-9C14-93590BF3788D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3194802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3194802"}}}}}