{"entities":{"Q5053014":{"pageid":7082591,"ns":120,"title":"Item:Q5053014","lastrevid":41808335,"modified":"2025-05-08T14:29:52Z","type":"item","id":"Q5053014","labels":{"en":{"language":"en","value":"Hypothetical reasoning and definitional reflection in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7623952"}},"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":"Q5053014$525F0094-F42F-43A9-9D60-13D9DF822AE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ebb6cca628d4b949eb91f0279192c1d7ee37115","datavalue":{"value":{"text":"Hypothetical reasoning and definitional reflection in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5053014$8F0C3631-9429-4090-AD11-42347615BCF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"659058a95b0480803d71690f68fe535a044cda05","datavalue":{"value":"1502.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053014$145A5DCE-9A31-4B2F-98FB-2157FEB0E093","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053014$72BE956F-FE4F-45A3-BD28-11E3CB406625","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f8eb1b6981ee2f00126edfdc0e11774e104a6282","datavalue":{"value":{"entity-type":"item","numeric-id":5053002,"id":"Q5053002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053014$78EFD17E-3F62-4C71-8CCE-E6E3A1D631A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1483e38e3bf6c05c7809c6a2cdaaab1a69095b","datavalue":{"value":{"time":"+2022-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5053014$06AD4585-25E3-4366-A3C2-7FCACDD0FED0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053014$85FBDDE3-2ECD-411C-8C36-1536249F92D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053014$9CB4385E-34E3-43CD-A720-D84A07A739CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e900ea0516cfa8acb3d27712460d89f3ed4a5585","datavalue":{"value":"7623952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053014$A78A6FB5-ACCA-4862-A876-C1B8FF25D717","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":"Q5053014$99DC5598-9C9E-4751-BC92-8A56A0F8D8F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da1ce919acdf0effc06e07a5f21531c6f57ce8f4","datavalue":{"value":"https://doi.org/10.1007/bfb0038701","type":"string"},"datatype":"url"},"type":"statement","id":"Q5053014$70C3998E-0545-41BD-A9DF-6CE7965013A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b41875fb010a773dc5d637e6e87c047c385bd31","datavalue":{"value":"W1524443432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053014$8769EC97-20C8-4B42-A3FD-C7C96D586072","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1d6aec1acd4d6682c6d2de6e0f86bff8c460cad","datavalue":{"value":"10.1007/BFB0038701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053014$AC21CB3C-09BC-4B18-8A2C-570C4CF7B3C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18552fdcc848b3fe81cbe5aa21de442806f76c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4290617,"id":"Q4290617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28872cc3de3501a050f9d97a6ee6d482bbd7eb5","datavalue":{"value":{"amount":"+0.9562664","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":"Q5053014$3D6CFCE2-C992-4043-AF53-8D524CEA7569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89835381d7f9245412253e75b9479e259c2011e","datavalue":{"value":{"entity-type":"item","numeric-id":918664,"id":"Q918664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf7b51d45aa92d5dfcfe5ff5e965b68463abe58","datavalue":{"value":{"amount":"+0.9483942","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":"Q5053014$B0D0D2FC-8005-4593-A0CB-A70A27E7CF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea411277b171eab4b181c18fa5bb525a9dacacaa","datavalue":{"value":{"entity-type":"item","numeric-id":4897703,"id":"Q4897703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee0a859c3909bea7e5223d4d52f9d42a28d43a2","datavalue":{"value":{"amount":"+0.8943381","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":"Q5053014$1ABF5EB2-BF56-4D86-80B3-3CE3787591BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fc08b94def33e48b19f72a436763284695b44e","datavalue":{"value":{"entity-type":"item","numeric-id":3133173,"id":"Q3133173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b966b5dda546a7ff225eb8d627f8b99002ab06","datavalue":{"value":{"amount":"+0.8934564","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":"Q5053014$5690AA22-FBC9-4102-B193-C8E23AA66884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd6a8c0b5355f80dde2de7a2ec9cc1c93afc15b","datavalue":{"value":{"entity-type":"item","numeric-id":2753684,"id":"Q2753684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132364da6d1165fab0c03ed2ceca921028a89e6b","datavalue":{"value":{"amount":"+0.88618404","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":"Q5053014$FB91FE92-D7ED-4CCD-90EC-BBF04A5125CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a29f856414d49c3eb20a6309979126b55972c5","datavalue":{"value":{"entity-type":"item","numeric-id":5098742,"id":"Q5098742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646850ddfb338e24ab16f6e56b60086e34add2ec","datavalue":{"value":{"amount":"+0.88500035","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":"Q5053014$4E9CAAFB-E098-49EC-A684-2B0A0DE88B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69e25bb0fc5a58bd776b1eb128e4d4558cac1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5325769,"id":"Q5325769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fb64835b07c37d43dc6631130f482786271af8","datavalue":{"value":{"amount":"+0.88451093","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":"Q5053014$6CB990DC-7817-48F9-B24E-4E72CB00D12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882644ca01e6f6d07596d4bd8efbb339f7ad4e06","datavalue":{"value":{"entity-type":"item","numeric-id":4514013,"id":"Q4514013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99f937d6c67450de3cdd3653c1b5f0ac546a417","datavalue":{"value":{"amount":"+0.88371724","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":"Q5053014$34E4A5F0-E427-47BF-A768-D6419713F23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb8fa0a12465c66630a4dcf2ec21b5d0e6810a7","datavalue":{"value":{"entity-type":"item","numeric-id":5738920,"id":"Q5738920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76003db227b0088b315f96f4536828d70f9c79f5","datavalue":{"value":{"amount":"+0.883374","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":"Q5053014$BBE6A1B7-7B33-4CEB-ACA3-7BC6D0C1D113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbd805b7b44902c13309d5bd3b30627095ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620cbedc9ef1dc4d886f05bf66ab8f52065ccbaa","datavalue":{"value":{"amount":"+0.8813219","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":"Q5053014$05001D3A-796D-42AF-8482-9F1A915A82F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5053014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5053014"}}}}}