{"entities":{"Q3453236":{"pageid":5232636,"ns":120,"title":"Item:Q3453236","lastrevid":58181466,"modified":"2026-04-04T03:27:48Z","type":"item","id":"Q3453236","labels":{"en":{"language":"en","value":"Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512583"}},"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":"Q3453236$EB15799E-5C70-4178-BA60-F0CE1648A8AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"332352c0679c3c2b8fcc2c895bfc236aa6404da2","datavalue":{"value":{"text":"Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453236$31415C93-EAB1-439F-A319-3BD282468167","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b47855446386e6d6ac897b567dbda2300dd9b410","datavalue":{"value":"1471.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453236$02DE7911-DAC1-4C28-974F-E4F3B78623BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"245eb1f1ca3beadfa122af97213fee75b99b9bf5","datavalue":{"value":"10.1007/978-3-319-24318-4_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453236$E918C9A2-FD37-44CA-B2F2-1AF66F916444","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61a545a93ee0578943fb6340ff9ba1345bfdfec3","datavalue":{"value":{"entity-type":"item","numeric-id":2818037,"id":"Q2818037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$CFD8ED8F-BC9F-4052-84B8-5D5C86DA347A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467860733bf369e6af27f18b03d9d65162ff29a0","datavalue":{"value":{"entity-type":"item","numeric-id":363572,"id":"Q363572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$AE0061CB-F23D-4F72-80FD-6A79681919A8","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":"Q3453236$3BF199EC-FAED-42CA-A082-E38EB7809DD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$BE7D2355-9C88-4058-96DF-A284939180D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-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":"Q3453236$ED5C1B58-C50D-4BC8-B190-6137D9003B84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ddbd1331edcfbae9c56184264794c420a1965fd","datavalue":{"value":"https://arxiv.org/abs/1505.04365","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453236$DA6CBAB7-4F28-4189-AEA9-62C271FBC268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453236$290F731F-44FF-42CB-A218-8394D36206D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453236$6D3C8324-49F4-444D-8D9D-FBBD7522E6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453236$1482A575-FFEB-43F4-B859-A0C31EA4D830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e27beffea4779e8a96e7c5961e8cc7879483d808","datavalue":{"value":"92C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453236$53908994-5DEA-4C78-9AEA-FCCC5F2F67CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27dbc16442d29e1bf27b5aa173ef22c93c8da409","datavalue":{"value":"6512583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453236$6A7169E1-4A4B-4F2E-B729-8EB3AD3106E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9de48e5ed16a4f1b19ddac063d5ea05707ecb87","datavalue":{"value":{"entity-type":"item","numeric-id":19082,"id":"Q19082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$DD78F1EE-487F-4C28-95A7-C2E1B1CB0188","rank":"normal"},{"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":"Q3453236$378345AE-7AA7-4738-A309-5C48C0706E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa05f17406dfac96b57ce641361f6541fee06796","datavalue":{"value":{"entity-type":"item","numeric-id":28611,"id":"Q28611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$9406BE1C-A3D2-4ECB-86CC-11FBEF203F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f859dd06a94314027068ececec915be05458420","datavalue":{"value":{"entity-type":"item","numeric-id":23629,"id":"Q23629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$336AF46A-17A7-4F6B-8F63-DE9D6F229E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2cec1186c2876f00b8627c690711f3a8b1bc11e4","datavalue":{"value":{"entity-type":"item","numeric-id":24405,"id":"Q24405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$C8A37395-546C-4C7B-8E59-37B954F8064E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"000a59c76fe8271e045a72b8e028e7c0252cfc1d","datavalue":{"value":{"entity-type":"item","numeric-id":40338,"id":"Q40338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$72B9475D-4204-4D94-9E9D-3CFC1604F23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b419e9e06fab46801d1f159517b25d63f9edfec","datavalue":{"value":{"entity-type":"item","numeric-id":40339,"id":"Q40339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$BF26423A-A32E-46FE-9A5E-E1074A5950EA","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":"Q3453236$377E7783-C54E-4CA2-8BED-F271D4C09D9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b0c5467b4cdabf105eec309cf75ec734a4bedda","datavalue":{"value":"W952867079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453236$EBE1456B-7BB8-4E1B-A33F-75BD2A7BC4C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc41449e9fa0420cd7863d27acebc9d2a03ec89b","datavalue":{"value":{"entity-type":"item","numeric-id":5717442,"id":"Q5717442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$85E89C3D-3971-4A04-BF03-508A0BAFC4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad090adf08534be21347337f3ab02c5ceed6e057","datavalue":{"value":{"entity-type":"item","numeric-id":3406682,"id":"Q3406682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$4D412E5C-46E3-40C3-BB4F-36C0BB2B49E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a719daf5fb0c0d7efb4db15da2d4a13f1a6fbd","datavalue":{"value":{"entity-type":"item","numeric-id":3164969,"id":"Q3164969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$63DA20B7-44AB-4394-90D7-FDE91C22A76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$9EB4D828-01BB-4332-9ACB-DA1C842B35E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca9cd7786a555a68bf8f9117f3115c81729ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":4407240,"id":"Q4407240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$C2C74E95-CBE9-425C-886D-E277D6D3DCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$36DF801A-AA51-4C82-9AE8-3079FBA90A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$D024A7D9-971E-4146-A391-DDC7B66EB679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c08116d290ea01a9659a86b7bd774b933652284","datavalue":{"value":{"entity-type":"item","numeric-id":2859022,"id":"Q2859022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$5E9BA7FA-D6FB-40B1-9DFE-1D82AB5190BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32692ed9d01016b5a99086c83f3546dda858809a","datavalue":{"value":{"entity-type":"item","numeric-id":3533153,"id":"Q3533153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$8CD407BD-24DF-4392-8BBA-10437059963D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd5e459e394d6108077560b4ed3e5f8dcdb8314","datavalue":{"value":{"entity-type":"item","numeric-id":4589092,"id":"Q4589092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$0ED2E3A7-34AA-4C08-918E-C82632FAE029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aff056159aaf1cff504830007d8fb1af49169b","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$1B4E568D-B00E-4973-B96F-689A090A3711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ee1e5a905f8c09fa418f752e9a954b73793842","datavalue":{"value":{"entity-type":"item","numeric-id":4922910,"id":"Q4922910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$15C83A15-169E-40DE-8C84-1BC9A9E78DF2","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":"Q3453236$E301845D-FCB4-482F-8CF1-8814BE9D425E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$D6F77245-033E-45CC-82A0-72F711F95BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c6214693935ba5f7699f842e81c4c194814436","datavalue":{"value":{"entity-type":"item","numeric-id":2938488,"id":"Q2938488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$D01665F8-997E-4851-9818-69A108B2DEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f85c99c321358adbffe61ad0596cc0587b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$07FAD911-B217-4476-ACED-871D3086E2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626e901a3fd291eb75e2d888f0f68f1edf4b9295","datavalue":{"value":{"entity-type":"item","numeric-id":2999101,"id":"Q2999101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$9997C800-E872-444F-A66F-56B9190710B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$9E34F973-9387-471E-9CC8-117891029B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ae2b2b4cffe95331953ba5a54b86b368a38d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3191110,"id":"Q3191110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$92D56293-2509-4D93-B8DC-E2AEFC151AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a34f0a98d236d391d3cd4185431ecd18412f83","datavalue":{"value":{"entity-type":"item","numeric-id":2462643,"id":"Q2462643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$B51D6A27-8D6E-47D0-93BD-99FF99A925AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af513cb1cd8af1f444d2812d66fcc4ed31ebd21b","datavalue":{"value":{"entity-type":"item","numeric-id":5191098,"id":"Q5191098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453236$87BE3B9B-B68D-42DE-944B-170BF7BC74FA","rank":"normal"}],"P1643":[{"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":"096bf8ca982c29876e81c6d0c789e971772c52b2","datavalue":{"value":{"amount":"+0.7780577540397644","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":"Q3453236$1C2B668F-3434-4E5C-A77E-A365F70536CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563e2122c77a2c332a73696166f69db54a9a7692","datavalue":{"value":{"entity-type":"item","numeric-id":2835881,"id":"Q2835881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86fa3d7a38075ccaa41818f81195c803db955263","datavalue":{"value":{"amount":"+0.7678659558296204","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":"Q3453236$7CED19C1-7E4F-482C-B6A8-125B59D5E7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a826fb7d44c7df3837095390de83c0d1cbea78","datavalue":{"value":{"entity-type":"item","numeric-id":5191098,"id":"Q5191098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca1056addb023bc546e58472f32759e73c3930f","datavalue":{"value":{"amount":"+0.7486491203308105","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":"Q3453236$E4C87AAE-321A-4646-9935-687BF1C04C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d974e16d9209bdf16ee00ebd1dc2a9b6befa6e","datavalue":{"value":{"entity-type":"item","numeric-id":4922910,"id":"Q4922910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9815518a25dadc8405e191871713c54b89990c3","datavalue":{"value":{"amount":"+0.7417988181114197","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":"Q3453236$C0BD576F-5E98-4FBC-944F-C9922901280E","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":"b63cf847adb71a83ee1082aeeb83137f9f380a7a","datavalue":{"value":{"amount":"+0.736635684967041","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":"Q3453236$7AC4200E-9840-4997-90B7-0A646402BFB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453236"}}}}}