{"entities":{"Q3196342":{"pageid":3207050,"ns":120,"title":"Item:Q3196342","lastrevid":58147635,"modified":"2026-04-04T00:16:36Z","type":"item","id":"Q3196342","labels":{"en":{"language":"en","value":"Abstract Model Repair"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501858"}},"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":"Q3196342$24DEF361-1EBE-4BC5-802A-74E7DB87723D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22ed7ea243835eee5acb086d389e75ce42b296d3","datavalue":{"value":{"text":"Abstract Model Repair","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196342$48AE698D-0D94-4489-B78A-575123BA0AF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc525c68d5b64dba4015cbdd2139f1eaec4aa0d0","datavalue":{"value":"1448.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196342$80B3A32E-522E-4CC8-9A60-0A05C9AF4AD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"386d70ee244a2943ce66be4489897aa94cb88c3f","datavalue":{"value":"10.2168/LMCS-11(3:11)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196342$071BEF76-1F9B-48F3-8E4E-991D1DBAC8B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0808f5d67f56f6eaf3df04c783b6e8642064807f","datavalue":{"value":{"entity-type":"item","numeric-id":1706147,"id":"Q1706147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196342$ED8F6DEF-5C9D-4739-B39E-121BF76B5E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196342$47627153-F499-4291-8E5E-B3B01DC8BF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196342$EA6B36BB-238E-4828-9F7D-21CA476B1119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"310d5637ca734d37029e6475baf0599e0b630ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2112127,"id":"Q2112127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196342$4C24C3CF-FFAB-45C6-8761-A0671ED9E345","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196342$E1D3E73B-3D63-42B3-AAF5-70C527C171E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196342$435108E6-E66E-4895-9110-BBD3285CFB7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9b852a9dccaca485be60ec4c17eaba7be3bb7fc","datavalue":{"value":"https://arxiv.org/abs/1506.06165","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196342$D32292ED-0771-4A55-A61D-562755B9FDD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196342$50A47CBC-CD43-423B-B882-8BA59AEB1626","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caeb6c92117fb7238703459afac11468b8155a98","datavalue":{"value":"6501858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196342$5FBB0B06-2499-4851-B854-ABAA7DBF3D43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5261b3f94c4e1d7dd6543546ef60f48972992361","datavalue":{"value":"model repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196342$AC52ADAA-68D7-45AE-BC29-13E508D0AA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196342$3C92FBA0-5CC2-4F96-B4D3-A4F785D01F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196342$AEBEAA4F-01AE-4B2E-8CAA-3105CAFD9B99","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":"Q3196342$609684DE-3C95-4F78-90C3-352439121C8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cadc80e254e78811f81c395716fdb8ddc07f347","datavalue":{"value":"W2395626435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196342$CA99E739-098D-474B-B6C9-814CC552AC52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca96b3219172d122f400887f958483de87339748","datavalue":{"value":{"entity-type":"item","numeric-id":4278399,"id":"Q4278399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce96fe7810ef1e2e6156abf3d175e42796af23d","datavalue":{"value":{"amount":"+0.8453293","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":"Q3196342$3FA681F0-CDFA-4ED9-B88A-CB1C2D51BC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b00122b5ba602550b989cd07066c59153e8628b0","datavalue":{"value":{"entity-type":"item","numeric-id":4514018,"id":"Q4514018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432c8645e1b7302ba5e9d6288cec045c0a4569fc","datavalue":{"value":{"amount":"+0.83741325","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":"Q3196342$7BC3E35F-D810-493F-AEFC-7CB10F5EDC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9920d05e93e68a63bd044eb38a11f369ae8275cf","datavalue":{"value":{"entity-type":"item","numeric-id":1706149,"id":"Q1706149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f917bb0e286fc1ed1e1b45006dde1479019f79b","datavalue":{"value":{"amount":"+0.837151","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":"Q3196342$5979229A-4074-4492-9E43-7DBEC8F302F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b07621115c81127893744fd0d2eb17b4eb5469","datavalue":{"value":{"entity-type":"item","numeric-id":5215912,"id":"Q5215912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d2d4483848d11230453e95b214456120a04ad8","datavalue":{"value":{"amount":"+0.83632624","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":"Q3196342$EB24D15F-1631-471F-8AB3-83703AEC3644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1707954f4fe6564bf33bf1f28519817b5b18e3b","datavalue":{"value":{"entity-type":"item","numeric-id":4503218,"id":"Q4503218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ffc3e281b9910ab060b423565044274fa387bd","datavalue":{"value":{"amount":"+0.82280755","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":"Q3196342$57A1D223-EA14-45E4-88C7-D6860C10969F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196342"}}}}}