{"entities":{"Q3761666":{"pageid":5791572,"ns":120,"title":"Item:Q3761666","lastrevid":87608981,"modified":"2026-06-04T12:07:49Z","type":"item","id":"Q3761666","labels":{"en":{"language":"en","value":"Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4011896"}},"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":"Q3761666$FF2AE3CA-4EA0-4D7A-BC44-8A8A2DA0CE2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbef0881685cfdf045d088cea877a716c084aef2","datavalue":{"value":{"text":"Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3761666$DF1C560D-5C23-49A6-A27C-14789703AEBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e124521d5b4d74cd94c355dcf57e1d209848bd60","datavalue":{"value":"0623.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761666$47BD7456-E58E-497B-AC67-259D6DD0D88C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6fdfd7e9aee9bbaff5761515c15286618d0fa54","datavalue":{"value":"10.1016/0743-1066(87)90001-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761666$8B49450E-52FC-43E1-AC0D-CC2B13004231","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"312b43874c8b66de124dae6d265b3a9535014837","datavalue":{"value":{"entity-type":"item","numeric-id":1186099,"id":"Q1186099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761666$9DC42DE0-0227-4A21-9BB9-71912535B407","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761666$36E6779A-4E11-4901-A8B7-AA2010BBA9B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3761666$EF035BED-90B5-4644-9C51-A10E7DD93D63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761666$FE10B4B2-1625-47E9-8B5A-83D9E33164EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaaff33326260dc2cc85553cada9755b2e7e355a","datavalue":{"value":"4011896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761666$381CEB56-36E7-44AA-9089-2428C732AF25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c660c6540f4725eac48b6f0a5bb496dc28445c0f","datavalue":{"value":"bug diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761666$49D2F19B-D1CF-45BD-B561-51FA93FA64A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379f64a67ad6e4ee32d20996d84934a8441c7ff6","datavalue":{"value":"Horn clause logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761666$2D966AAE-A366-4CFB-B928-5011DE5DAAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b12623208193403a88c6cd49e3e4381e07e4d4cd","datavalue":{"value":"fixpoint and declarative semantics of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761666$6ECF7189-C726-42A0-B2E6-23FBB140179A","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":"Q3761666$7AC32912-68B0-40BA-ABCD-0CF4E6F44300","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7994390e24b401e1cb1860a5e663a05ddee2ea91","datavalue":{"value":{"entity-type":"item","numeric-id":3608666,"id":"Q3608666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8dc1743df9b02f843dba3d58260d7c8ef11a2b","datavalue":{"value":{"amount":"+0.8783897","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":"Q3761666$2D12DB82-DE6F-4665-9697-26895FDC7C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680fe974c5522b9aa1e929099afcf08ae9417fe1","datavalue":{"value":{"entity-type":"item","numeric-id":5449618,"id":"Q5449618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6101c295411d799234a133a6d51c316f3c7230de","datavalue":{"value":{"amount":"+0.8681465","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":"Q3761666$54215395-3530-4CCC-B1CB-0A9298B2AA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42021b997c68bc862f1509efa3b66de45dd7291f","datavalue":{"value":{"entity-type":"item","numeric-id":1373300,"id":"Q1373300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183d81622d04566900eadf5c0882ae63012a5b97","datavalue":{"value":{"amount":"+0.84562916","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":"Q3761666$66A662F4-2FDB-4824-BCFD-7F9BDF180BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"919a8310f775cbc00948943fce97f193e7bc497c","datavalue":{"value":{"entity-type":"item","numeric-id":1290695,"id":"Q1290695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c5294f8b1f56eb60fbe4bb186a2f87bf84fa6c","datavalue":{"value":{"amount":"+0.8372309","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":"Q3761666$94EC9E08-DCE0-432B-9C4B-56D267BBE956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc04db73de0bec91a95165400c7e8a8e6236e244","datavalue":{"value":{"entity-type":"item","numeric-id":4440568,"id":"Q4440568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b803aff0bd1c610b2d9d3b7f4a7c1d3d61e2cebd","datavalue":{"value":{"amount":"+0.8364929","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":"Q3761666$C1F26C99-1417-463A-9198-0C9A126FB1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc23388b418aa3cd633c57962cc5ff3632ee65f6","datavalue":{"value":{"entity-type":"item","numeric-id":4417882,"id":"Q4417882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693736b928672b614bca909303093acc239ab288","datavalue":{"value":{"amount":"+0.83310616","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":"Q3761666$4166AC96-D7E8-4FFB-905B-30765DE99BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cd2a1663feab16fa1988ff6ea61c7ff45f390f","datavalue":{"value":{"entity-type":"item","numeric-id":2938488,"id":"Q2938488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fc33cc93b4516797bdf1220353b1c57bbe5aca","datavalue":{"value":{"amount":"+0.83261675","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":"Q3761666$0D452E92-F4F9-4479-B2B2-5BBB33DA3ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974fa2400dc068727df82e11158606eb72387746","datavalue":{"value":{"entity-type":"item","numeric-id":5170295,"id":"Q5170295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f8219f38d64b825209080edf34b1b02e72f7a5","datavalue":{"value":{"amount":"+0.8297932","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":"Q3761666$32314D36-B3C2-4E0F-B5E4-530F87F7B346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7531691dc6e46bec0d8c744ca9ec18fcbe32f1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3358220,"id":"Q3358220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e2d508b5cbf73d11be7227e94c1b5445ba7c82","datavalue":{"value":{"amount":"+0.8288786","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":"Q3761666$B02C18CE-71A7-49EC-93BE-44EAE4BFC0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb22db27e05aaa3b9d3ff65ac9a12f3f6b80c48c","datavalue":{"value":{"entity-type":"item","numeric-id":604477,"id":"Q604477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d190a859d25f5d539686e5aeedbef97de427104c","datavalue":{"value":{"amount":"+0.8245361","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":"Q3761666$60A165FF-E9DD-460E-B7BD-748555080919","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method","badges":[]}}}}}