{"entities":{"Q5101460":{"pageid":7131036,"ns":120,"title":"Item:Q5101460","lastrevid":54391301,"modified":"2026-01-26T18:11:59Z","type":"item","id":"Q5101460","labels":{"en":{"language":"en","value":"An abductive framework for extended logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577938"}},"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":"Q5101460$E4B83A0C-4B7D-4EC0-8D5F-35A952C89EE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"953de824206b9871ff082e41de4bf73bcfbedabe","datavalue":{"value":{"text":"An abductive framework for extended logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5101460$C6574EBA-0282-4B22-A38C-57D61EC2D5B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79f640fc3b9b87d41647c81402017a05f6e950d1","datavalue":{"value":"1496.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101460$C285F396-30B8-4464-8B32-C211F0CC4408","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70e69b8047817a10efb3d8b01d528f29f7656f66","datavalue":{"value":"10.1007/3-540-59487-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101460$8A2F4F5B-70C9-4E79-B1B8-96BFD786EEAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e105f5452a33d5c31b2de16d56cb54daabe02cb1","datavalue":{"value":{"entity-type":"item","numeric-id":615892,"id":"Q615892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$3921394F-A82E-470D-92EA-1C06203480B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afff187604e083e0229c3768f1fb98d8d2d59ba","datavalue":{"value":{"entity-type":"item","numeric-id":222876,"id":"Q222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$27DD8916-7645-415C-8E4A-009FBD18EE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9a24074f982cc414cdea1cf903a2494e05e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":222873,"id":"Q222873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$C976DBED-97B2-4DC7-B872-CDF95FEEC4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b4064b83e75e299611282f04361c538a98060c4","datavalue":{"value":{"entity-type":"item","numeric-id":1390931,"id":"Q1390931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$5865F9B0-C0CD-41EF-865D-63E374801FD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$EBD9E04D-5E9F-4218-B7FA-A3B442FB6010","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101460$B7CE004D-CE56-42E5-91DD-CC1D8E638B4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101460$99134B5F-8B54-4FCB-A1F1-9370130489AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101460$BEFADBD1-BB29-40DF-9763-B59D880D4E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101460$0943F2FD-5297-419C-9E16-CEC1A12E880E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b42c610d822461eb2287de9948b21977f2accf05","datavalue":{"value":"7577938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101460$F2C25AF1-6AFC-4713-9AA4-287A912A5024","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":"Q5101460$C69A3DA1-CF44-4AAD-942E-FE2DC9BC89D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e37290ae78688d3b1c7f9c384c39c08c873902a1","datavalue":{"value":"https://doi.org/10.1007/3-540-59487-6_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101460$03DD3B2E-2AB3-4457-87B6-82FF8352A3DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3084fac587df8cbb39df56b4c9d3b0202f7c9304","datavalue":{"value":"W1586012806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101460$82EF11C7-5B95-422D-8071-7966F7FC93FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$39CB817A-7743-49D4-941F-E4D20209745C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a26471773da5179b27c72454f978cb82d6c68f","datavalue":{"value":{"entity-type":"item","numeric-id":1205176,"id":"Q1205176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$027363A0-B750-49B4-8966-E607A36D4F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106a8f7b1ef73d95a8b9138a5b927cca5a9929f6","datavalue":{"value":{"entity-type":"item","numeric-id":1390932,"id":"Q1390932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$B32DA3E6-E347-4BCD-A2EE-52037FE4A1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6944c9ec10c1da39bf731d21ffc1c687fc0cd545","datavalue":{"value":{"entity-type":"item","numeric-id":3841101,"id":"Q3841101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$65C682C2-685A-42BF-B259-F2F3FE7625A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb45665eb481f8b77c43534acd19e842a4059d5","datavalue":{"value":{"entity-type":"item","numeric-id":4849644,"id":"Q4849644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$4FA4BA33-23B5-4E92-9F5C-7E1900B5F765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1956d0a9d511f71b2aae1e995b069b2a11a03174","datavalue":{"value":{"entity-type":"item","numeric-id":4225120,"id":"Q4225120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$26DF849C-AA1D-4E51-9264-1FC9F0DE07C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7647706d1d4f4070fc7c7c864cd4eec80443b1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4244297,"id":"Q4244297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$7D07B53C-1696-4CAC-BC42-72C65CF446F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540a512e1e45fb06244180374c3ed9c56f42aeb0","datavalue":{"value":{"entity-type":"item","numeric-id":4013773,"id":"Q4013773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$73905157-5AB3-40F7-B58E-53405799E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa47517db715d9f88c5fc302f1468b7be15464a9","datavalue":{"value":{"entity-type":"item","numeric-id":1182168,"id":"Q1182168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$17E45D07-F925-4532-92C0-A8085AE4EE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101460$11CF9BF8-D579-447A-BD43-39A3D9AEA80C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78b2310939dd5fcb668fafc7bb977cf0dfb5be4","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc34635ccabcd9c9a3b5c10f4ebd3b176f3f887","datavalue":{"value":{"amount":"+0.8788290619850159","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":"Q5101460$8954AD37-A0C7-4D96-ABCD-4A1A31D481DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9c98c002aeb61724c9361161a1498f1ca66fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5236438,"id":"Q5236438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd9ebb3b6aa36d265a58ea06b3f866b001179e8","datavalue":{"value":{"amount":"+0.8578676581382751","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":"Q5101460$9BD1E216-A4AE-4FC3-9FEA-36A6A240EA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cda2d3d529bcb068ddacafbaf8bfc2a7211119","datavalue":{"value":{"entity-type":"item","numeric-id":1390932,"id":"Q1390932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a508c5c028e5cacab8e07ebc58c6452df354bb5","datavalue":{"value":{"amount":"+0.8471864461898804","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":"Q5101460$CE15E0A2-D5B4-420A-B3EE-C3A6AD92EB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc9426bd8abd6208e365c6f3a02728782007e20b","datavalue":{"value":{"entity-type":"item","numeric-id":4819009,"id":"Q4819009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a508c5c028e5cacab8e07ebc58c6452df354bb5","datavalue":{"value":{"amount":"+0.8471864461898804","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":"Q5101460$04F893EF-9B58-48D1-A4A6-DCC410FC1D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb74808d36956eb8ca60135340490cab45cba8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5101453,"id":"Q5101453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4b9dc32906fffe96bb91fd7a111abd4948e0a2","datavalue":{"value":{"amount":"+0.8448905944824219","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":"Q5101460$CCAAA722-4C7E-43AE-AC26-0B6E82778E49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5101460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5101460"}}}}}