{"entities":{"Q3543271":{"pageid":5573175,"ns":120,"title":"Item:Q3543271","lastrevid":50514716,"modified":"2026-01-14T06:25:09Z","type":"item","id":"Q3543271","labels":{"en":{"language":"en","value":"Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5376749"}},"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":"Q3543271$C324E225-ADBF-4ED7-A8F2-4A27F60A07AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac07e2090558a4a2903359a5d473bf29adf2561d","datavalue":{"value":{"text":"Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543271$33F204CA-FE61-4189-8D9B-5FBA31CBF379","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b62ace4f13d7f571ee54883a0236b8c4d8b1e512","datavalue":{"value":"1156.68526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543271$0BFC31ED-A0FB-49E4-96FD-E9C9A4C637C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51552d0e5be375ca346bfa4f224c4b7bfdb74728","datavalue":{"value":"10.1007/978-3-540-85928-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543271$DD8C2DA9-983C-4B1D-9BD3-3DA56DFC077E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b70fc5a4e3f4c1aa73b571457f4162572123dd4","datavalue":{"value":{"entity-type":"item","numeric-id":1959492,"id":"Q1959492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543271$2C2F693E-41ED-45C7-A49C-EEFB9B4ACFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd56b0e21297f2c72f4e38fe38d6668bf3d1a11b","datavalue":{"value":{"entity-type":"item","numeric-id":1959493,"id":"Q1959493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543271$3883C672-8232-48D5-9C38-C73612037F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"148c58f8160ace1d200ce40a6e01876bd59d195d","datavalue":{"value":{"entity-type":"item","numeric-id":1959494,"id":"Q1959494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543271$E86451E8-1CA5-462C-A28B-81AEB4BDA851","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ca7a52a8c23a8f01e93aa24f1d4c2c73d62b5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2827470,"id":"Q2827470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543271$BC0F8C7B-BA40-4B62-99FF-EC24A3A13DBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e93f8d3c28f11b076aa7adf47edebc135f21d9","datavalue":{"value":{"time":"+2008-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543271$797A8B30-3B53-44A5-9B02-C0FCAC259FF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543271$955B625E-39BF-4A70-A5EA-3A5756B6735D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543271$0ABCE4C4-6759-4E7C-9C7A-6B5A001CD06C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4afa6405d5d73e8dfea033d43709b624aea3e48c","datavalue":{"value":"5376749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543271$30B4390D-0BAF-4C9C-AE91-7E2FEAA9452F","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":"Q3543271$134936F4-5963-4246-9A31-567BB86D149D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adb3e09dc70e082310ac21ed1bfc0b8320ea37a8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85928-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543271$E775C8A4-E436-4473-8D76-FA91E33B4E3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e5710e898f01ad109d97d7a46ae460be9079ca5","datavalue":{"value":"W1492019259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543271$0A80DA21-62E6-4C17-99F9-BD9E39D59F55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb0ab698b5d39ce02e5a8d059af6fd3d3f3f1ec","datavalue":{"value":{"entity-type":"item","numeric-id":1572791,"id":"Q1572791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543271$EF866602-4428-477F-B709-BF1E683B7C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb6855ef389bf054811a011cc0d541ef395a32","datavalue":{"value":{"entity-type":"item","numeric-id":4004339,"id":"Q4004339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543271$4F472184-1624-48A2-9FB4-F81B7D64A7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d711ea5fb08523edde58cfcfa2eca261c96fbb5a","datavalue":{"value":{"entity-type":"item","numeric-id":1402270,"id":"Q1402270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543271$85C4CC29-AAF2-4257-A2AC-70E544408506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13460107aaf501c9eff560294582364c2be86d5","datavalue":{"value":{"entity-type":"item","numeric-id":5452092,"id":"Q5452092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543271$B12E1C8C-CF15-4A47-B8B7-CC06D62035F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635e8493780e088ea893be3fd00f5cfc5154821d","datavalue":{"value":{"entity-type":"item","numeric-id":1959495,"id":"Q1959495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2e44615cf6c82d71303bb6eded78245216bdaa","datavalue":{"value":{"amount":"+0.9821566939353944","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":"Q3543271$4CEA59FF-6FEC-4CFF-92F2-4651DEFA209C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58017d12fb51eb120bcb41cb9135fb147eada394","datavalue":{"value":{"entity-type":"item","numeric-id":5452092,"id":"Q5452092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb324169753fd4b3d626f36af7283b6a404158d","datavalue":{"value":{"amount":"+0.7824278473854065","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":"Q3543271$581BB00F-76F7-4BDA-A9BD-6BDAA4018EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3531201093cecadeb747012da5512e6f599800bc","datavalue":{"value":{"entity-type":"item","numeric-id":2361575,"id":"Q2361575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58232159e17f2f5537054a7279b55efce38df04","datavalue":{"value":{"amount":"+0.7784373760223389","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":"Q3543271$1FA7898C-53C9-4942-9BE4-85CF498FC7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f046838fe69c674a9c951cfc1247b3e450a7dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4555456,"id":"Q4555456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7c6c226daa6e97e159d3dc0e05f236dfef59b5","datavalue":{"value":{"amount":"+0.7580661773681641","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":"Q3543271$4534DB7D-D3B5-43A7-99DE-5D45B555F2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c879563461a534fac1e83c7f40919b6a28300380","datavalue":{"value":{"entity-type":"item","numeric-id":4386932,"id":"Q4386932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1558b72e0079adbd54a41cde218d58fe79e4fc83","datavalue":{"value":{"amount":"+0.7408331632614136","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":"Q3543271$5F371E73-7C73-4C6A-BB5D-1EC82E4650CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543271"}}}}}