{"entities":{"Q5738920":{"pageid":7768472,"ns":120,"title":"Item:Q5738920","lastrevid":52826783,"modified":"2026-01-23T14:25:29Z","type":"item","id":"Q5738920","labels":{"en":{"language":"en","value":"Logic programming revisited: logic programs as inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729731"}},"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":"Q5738920$C56F0CB0-58FC-46CE-B19D-8E03E811FB8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f87fba8e47d914d74f4fc2f6b4e5b16a0d4d234","datavalue":{"value":{"text":"Logic programming revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738920$8A3DE8F6-5D08-4B73-B01A-1440EB37241E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adf48a7e559cf1d42b2b9330d3a475a2500a7ea7","datavalue":{"value":"1365.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738920$EDD68B93-921B-4F85-89C5-BB2A38FEDBA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e13129ba5c61677d1d9a55338fa3ffa7a94fecb","datavalue":{"value":"10.1145/383779.383789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738920$509C1804-B1D3-4074-B23C-4111D375ACE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738920$031751F3-9751-4F2E-A87E-558879B6D034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738920$11E0E0F9-4D89-44E7-82F5-B83514F79CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738920$C7A5F44E-F246-4EAC-92A4-0E0C6958933C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738920$E95B0ED4-32A0-4FCD-9393-793AD3124C2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738920$F1E89AAB-1A1A-4DA9-BA27-4F0DAF39ACD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738920$6F554B64-018E-4BA4-994D-8B577C7A62A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ceafc85026e907c005105054344dd8798e93b12f","datavalue":{"value":"6729731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738920$F96650C8-6512-42EB-A863-04D892A5F1DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716488e901cda4847a5f3eb3db6822336460aadb","datavalue":{"value":"epistemological foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738920$CF317DFB-92B5-4AAA-BCB7-7E3A07B9DB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738920$E1F5307F-760B-4934-BBEB-9B582BABCD07","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":"Q5738920$4FC1E6CA-92F3-4689-AE3A-95AE25F07456","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c2768c52c0cd5f18291439215a30d4a1dc32096","datavalue":{"value":"https://doi.org/10.1145/383779.383789","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738920$45AD2293-8EB5-4362-8F4B-18FCA9D8C56D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5757055828ea77742b41b7d5a0f09c6090baefc","datavalue":{"value":"W2076652224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738920$0A0C0752-51A5-451A-B853-8106BEC57AF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1ded505e80c7142b381eee40e183cfcf2312ee","datavalue":{"value":{"entity-type":"item","numeric-id":1075752,"id":"Q1075752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0a688e21211b38d7eee88b05cd288038b8e699","datavalue":{"value":{"amount":"+0.8681325316429138","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":"Q5738920$0FF16E1B-8904-45F3-8E9E-ACA979D4978B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa968f3ea4c56a11664386134702415d44486913","datavalue":{"value":{"entity-type":"item","numeric-id":3837741,"id":"Q3837741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14b2325e3c014fea58df919c2d29d52f5fe53bf","datavalue":{"value":{"amount":"+0.8110013008117676","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":"Q5738920$3698571D-E3B8-4797-8D1E-F0A7872B4270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11669efc28b10493d93d60134dd60258dd749bb","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073bfc4e7fe4fae85135b70b11069a4b7c823e1d","datavalue":{"value":{"amount":"+0.808702290058136","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":"Q5738920$151E3AD3-B840-4835-B54F-278CDE77B0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b69806df4ecea839c519ab1bb574fc8bec94e88","datavalue":{"value":{"entity-type":"item","numeric-id":3356290,"id":"Q3356290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe44b5b83f707f0db3a356783b58666dda602a89","datavalue":{"value":{"amount":"+0.8087022304534912","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":"Q5738920$08F4970D-5B10-45CE-AB80-17B01ECE06E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86621906eeee17313837d8fa8d9a23bf6546584b","datavalue":{"value":{"entity-type":"item","numeric-id":4208858,"id":"Q4208858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608705ffa684463c5bc93f92e90a4d83f763e1d3","datavalue":{"value":{"amount":"+0.8023204207420349","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":"Q5738920$35344970-489D-419C-9AAB-CE94DF997538","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738920"}}}}}