{"entities":{"Q5326470":{"pageid":7356044,"ns":120,"title":"Item:Q5326470","lastrevid":41818806,"modified":"2025-05-08T17:18:50Z","type":"item","id":"Q5326470","labels":{"en":{"language":"en","value":"Factoring Out Assumptions to Speed Up MUS Extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195202"}},"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":"Q5326470$40ACD855-216E-4BEE-9970-B0A7C8EBF2BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"522cff4404d3f2113f9fddf1815003f71d3c13e8","datavalue":{"value":{"text":"Factoring Out Assumptions to Speed Up MUS Extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326470$E4E36F58-0D55-4028-8323-FE79BFB6FC23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ff6985241ab93ff80998b3ca76a046652670b4f","datavalue":{"value":"1390.68601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326470$503BF17E-0115-45B6-BE7B-6B535D07625F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31fb4e470bcbd83526ee2044f8e608352c7acc3a","datavalue":{"value":"10.1007/978-3-642-39071-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326470$041F43D5-ED32-40B0-9847-B2B0F2FCB17C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f335e0753e4bcae4c0a643b4d38d7559ab0411b7","datavalue":{"value":{"entity-type":"item","numeric-id":903911,"id":"Q903911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326470$7C8907E8-70B1-48BA-B929-BC8E8C97E3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326470$4C8EC11D-4986-426E-B467-9185F6973207","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326470$FA1CF7F9-39BE-47B5-982E-577B3666012A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326470$5440151B-9969-4537-8536-4A5E96CAC39D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326470$D1F66DD3-B985-4B86-8F86-E1516CE75F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326470$9BCDC90E-6409-46EA-BAB7-FE7178C6F799","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a94ea83f58acca91f8cef00ca7d05e343a708b94","datavalue":{"value":"6195202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326470$31DE7488-258E-4B23-BA28-776D140D0084","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326470$1F185C03-B72D-49AB-8B47-059FAA5C72F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7940ddd2cf390857912577a8a65fd86fda5b260","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326470$0066130E-DA41-4319-BB21-B1F64B571C21","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":"Q5326470$4D0AD498-80D1-4311-9A67-926C445A125A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47dc07eca5c4521970af968c41df7c636087e7dd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326470$954CADE4-85EB-4185-9EFF-8FC74011D994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8f752a62916ab42f1a8b5ded9b4df8f4f82d2d6","datavalue":{"value":"W2167400570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326470$EAFB7AE5-D88B-4797-8780-F393CED46687","rank":"normal"}],"P1643":[{"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":"3e22c0c1aa8cb2869d6729c7a42894d7203b843d","datavalue":{"value":{"amount":"+0.8519987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$CD0A4694-227B-43B6-B579-C5E924457CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06d4cdeef6d54223a5a58f8baf803d725cc74aa","datavalue":{"value":{"entity-type":"item","numeric-id":3453206,"id":"Q3453206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0176ed978a1295ce2ff9951fbb926aaca2e4470b","datavalue":{"value":{"amount":"+0.8218845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$FD3B14F5-428B-4376-8B8B-A97ADEB8647D","rank":"normal"},{"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":"742612e56dbf1187a16164136f9faab8ce75ac73","datavalue":{"value":{"amount":"+0.8138299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$F9DE3EDA-DBB1-4106-9D28-51D8F0234167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984ac8386fab40b4895853d5714ecb52c06ca662","datavalue":{"value":{"entity-type":"item","numeric-id":5326319,"id":"Q5326319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3635f11d84f24051f7e9193352c99fcf4bf614d","datavalue":{"value":{"amount":"+0.8066745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$015FD8B5-B855-4488-B693-2927A50487D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50194838f33f7c6904609f4e22697d2aecfa8591","datavalue":{"value":{"entity-type":"item","numeric-id":2843335,"id":"Q2843335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af97e81a890c1c40e330b70d8f115cdcc9622e8f","datavalue":{"value":{"amount":"+0.7913058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$8623CE9F-E652-42E5-B697-8171E511F55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d716aa948ff5eefb31a68470d1c7fc4d096a5664","datavalue":{"value":{"entity-type":"item","numeric-id":5326458,"id":"Q5326458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e2e9103bb79b5dc727a6a2b7fb4502d511c38f","datavalue":{"value":{"amount":"+0.7838713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$8AB55773-12B1-4521-BD8A-AC5AB2C04E81","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":"471ce6086799cc1521d9edcb2f64b9f6a7193fe0","datavalue":{"value":{"amount":"+0.7718116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$85E87999-7FFD-40BB-84F9-23D38604F61F","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":"474f7ff37c588daf62e9dd09a96199e641f71fb9","datavalue":{"value":{"amount":"+0.7645471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$0E09A843-C4D0-4F76-ABB5-4BC6318DD4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40afb41161c7640ecf57dfc49b396f460d084ab","datavalue":{"value":{"entity-type":"item","numeric-id":903912,"id":"Q903912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575f3c2bd74cb44edf04b61a36805c68969b80a0","datavalue":{"value":{"amount":"+0.7619458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$1265EC30-6DB3-4825-B563-92E86F2663B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f03ab87a7195dd99221b576f0c1cd2619690b6","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ea727b5e4447e069234cb52b61e5a3dde1ab2d","datavalue":{"value":{"amount":"+0.75895345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326470$C008F6ED-C9A6-4146-BD48-8C1749EF9605","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326470"}}}}}