{"entities":{"Q2294584":{"pageid":2305327,"ns":120,"title":"Item:Q2294584","lastrevid":53661359,"modified":"2026-01-25T12:39:07Z","type":"item","id":"Q2294584","labels":{"en":{"language":"en","value":"Two AGM-style characterizations of model repair"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7166046"}},"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":"Q2294584$77EAD248-1CE0-4224-A3CE-14DAF807548A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45a91532daa1a3bb5de012c7251b26b2e70c74b5","datavalue":{"value":{"text":"Two AGM-style characterizations of model repair","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2294584$2949BAB1-536C-451B-A9CC-CC3790E695A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a333597a502a56ee23416c171ac89733a256bd2","datavalue":{"value":"1477.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294584$5A5B12F3-DDC3-42AF-A76F-CB30B7877FA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13258c622ba62b837e6d76084eac94f7712c0a02","datavalue":{"value":{"entity-type":"item","numeric-id":2294583,"id":"Q2294583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$40A4D930-9202-4B5B-B70E-813E9A9EE7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64768e880dabc12577ee9ac582aaca1ac21d612e","datavalue":{"value":{"entity-type":"item","numeric-id":490419,"id":"Q490419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$3ED178B8-5E17-4C8B-AD66-B2BE456F3C82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$625BFF51-9735-4645-97DE-D9512623B0A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6e2eeedf8e55f06b00a7b5e5c6475d26222915","datavalue":{"value":{"time":"+2020-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2294584$78FF87C7-56A3-47EC-A529-E1B62200588E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294584$41ECB667-76E2-4234-AA95-42C115C7223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294584$0EA34395-67D5-4824-8F22-A5A0F3799D4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d33dcaaa2b774dfc1d66fee20da34e1af4816a62","datavalue":{"value":"7166046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294584$20D6FE05-4506-4CD5-B91F-97ECD05D59E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294584$E4A621CA-5143-4D17-BD21-9E906A76C605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5261b3f94c4e1d7dd6543546ef60f48972992361","datavalue":{"value":"model repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294584$61B76759-6507-44BF-9981-3B1A43B52352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294584$83CC3DB7-17CC-44B0-924E-C11D512AC857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294584$A2391142-98C9-421B-8DF0-6851CF43C810","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":"Q2294584$42A2C6FD-7468-4C99-9090-70197486C187","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9b6df8e5fd024f5ecd736c7b130d654c7139cea","datavalue":{"value":"https://doi.org/10.1007/s10472-019-09656-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2294584$5A9A5F77-02E7-4838-B9B2-94F62CD429CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"492b5622822af88ff311539d1b46f5b35af88e06","datavalue":{"value":"W2964473111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294584$F707A95C-346C-4ED6-BAF2-22A2F2682D12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$49B4C19C-1BFD-49B6-ABCC-C57BDBD188B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$19A008AF-6D79-4318-9C26-78091887F3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$88DD2AF8-33C1-4DC2-A693-542E37269E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$45C81719-FE34-4DDA-B38F-73EDD2963759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f275b73a89d3510b0d251949e0571d7590d068f5","datavalue":{"value":{"entity-type":"item","numeric-id":2453698,"id":"Q2453698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$E78276D3-6873-47C0-913A-964CD19C56D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0ce77c8b2a519d721b7d0fb40ae509fed95d2d","datavalue":{"value":{"entity-type":"item","numeric-id":3196342,"id":"Q3196342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$5F47A361-613A-41FE-9DCA-A89ACE2EACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$C76B5368-471D-43DC-A5C6-29D568BD0E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$0534A300-017E-4326-91AB-5F2B8A8A79D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310ce82efbdd35c29fe75ff5aeb0932af73027f2","datavalue":{"value":{"entity-type":"item","numeric-id":535321,"id":"Q535321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$8E77AE95-ED24-4F68-9CCB-4237EB75E427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$6954B968-F3BC-4585-B53D-22E3BB0EC513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc73227606b4283f3028cb4b981f1f15def6d4f","datavalue":{"value":{"entity-type":"item","numeric-id":3580673,"id":"Q3580673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$F0685152-282A-4782-A6B3-F9761719A004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b19f607ab04fa39671f79f982e3072a32523dac","datavalue":{"value":{"entity-type":"item","numeric-id":5166663,"id":"Q5166663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$27533ED9-519F-4FE6-AA55-B50C8C493950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d7b2bf24992e97ea58b1925fa3ad0f956ebcbd","datavalue":{"value":{"entity-type":"item","numeric-id":2294584,"id":"Q2294584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$763177FE-FCD3-4A05-A1E5-8C2E2E9520B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4569d963b155abbcb87f982ca2df3cf976f2c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1977408,"id":"Q1977408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$709B115B-EAFB-4E02-9E55-5D50140853F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb43f426ba479be24e9ec30169892dd5239008ae","datavalue":{"value":{"entity-type":"item","numeric-id":5716562,"id":"Q5716562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$C838218F-31CD-4B31-811F-0EBC52A79FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b53867c88a73a7a906320d0a81056ca94fdd2","datavalue":{"value":{"entity-type":"item","numeric-id":4028812,"id":"Q4028812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$587A4527-9649-445C-811A-2BF587CD996B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$03873F01-258E-42B2-94FB-6A6FF5A43244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff599fc99565f31cf0b6240ef6ab807da1f5478","datavalue":{"value":{"entity-type":"item","numeric-id":4518818,"id":"Q4518818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$A900757E-8D43-4237-9A26-21FD4D3D4C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9441dc4c23700e256062792fb80b5fa489645a","datavalue":{"value":{"entity-type":"item","numeric-id":2891286,"id":"Q2891286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$5CD7B135-0FB6-47A7-87F4-F5C76400700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"874f2edc00b8026e1d123d6ae4b74229668dea75","datavalue":{"value":{"entity-type":"item","numeric-id":535331,"id":"Q535331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$87F84644-DBBC-4DF4-8BD2-120A8BC82D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fcfe0b9c96115a36ed7ad3e8d79e8ee5218898","datavalue":{"value":{"entity-type":"item","numeric-id":3624112,"id":"Q3624112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$04BCADAE-9D9A-4AB8-9053-2B0E41109C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058c04a653f5ccf48132732b9d91a9d6d83b3f45","datavalue":{"value":{"entity-type":"item","numeric-id":4236367,"id":"Q4236367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$96095E5C-7A2F-47C2-9097-92EA93E1EB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5135904f5253d59388a3570abf1c243ddb820b93","datavalue":{"value":{"entity-type":"item","numeric-id":1181487,"id":"Q1181487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294584$8802DD8C-78BC-42B8-86E4-660E577ADBF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"644da24d852afd0000ff774ff495cbc181de2b54","datavalue":{"value":"10.1007/S10472-019-09656-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294584$B05DB37D-8BE2-4B20-93D9-AA74514A4459","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9060253bb9ee2fd2256e1d7747417127c74c12","datavalue":{"value":{"entity-type":"item","numeric-id":5166663,"id":"Q5166663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ec9143b80572f7a17f987c68ee9c013dfaa7fd","datavalue":{"value":{"amount":"+0.7984066009521484","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":"Q2294584$E20E1B8F-A1C7-48E7-8733-A69A7F99C69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b21612985c64a43e327582a87489076c35ef069","datavalue":{"value":{"entity-type":"item","numeric-id":3196342,"id":"Q3196342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03daec41e2270e0b8bb21448b5d1e546db4a28fe","datavalue":{"value":{"amount":"+0.7792205214500427","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":"Q2294584$0FB44911-D2E7-4F11-8A40-7AE1A4CBCF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4932fb71e383694459611c84a517d8efa0b68eed","datavalue":{"value":{"entity-type":"item","numeric-id":3640960,"id":"Q3640960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f512250460cb79ca0698f262c06c96767614a7","datavalue":{"value":{"amount":"+0.7580657005310059","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":"Q2294584$662DA0A4-1A44-4E09-89B1-E0631220DE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a0c06d12fdebf92de6f637dcbf968c0e599fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1924800,"id":"Q1924800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119dbab8b35b37d1dc1afb05a0e29c68d5a9bd56","datavalue":{"value":{"amount":"+0.7468716502189636","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":"Q2294584$FEF3109C-2AA7-49F6-AB32-7CDCCE17BF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd669e53a0b95a12424051dad3eaa1b0f80b93d","datavalue":{"value":{"entity-type":"item","numeric-id":5056073,"id":"Q5056073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2889ab381cc9f9876c18a91d0dac201665bd003","datavalue":{"value":{"amount":"+0.7419117093086243","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":"Q2294584$5C648A0D-30D9-40CF-8523-0E636500A745","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2294584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2294584"}}}}}