{"entities":{"Q3210889":{"pageid":3221597,"ns":120,"title":"Item:Q3210889","lastrevid":49476775,"modified":"2026-01-07T05:35:29Z","type":"item","id":"Q3210889","labels":{"en":{"language":"en","value":"A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193101"}},"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":"Q3210889$307D557C-588F-4340-B634-AAE97C5BB540","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d8d96c71f01a1bf9fde93d8d29c214e22f46e10","datavalue":{"value":{"text":"A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3210889$2598CDEA-95BB-41F9-8E32-895DAD7856E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cefa40f5292218147960a0210971f541cc19c030","datavalue":{"value":"0723.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210889$A35D05DB-8A4A-43B6-88CA-4DFAB6A44653","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fbac9052f129ef2f8a84bce4b214226c0b56cf","datavalue":{"value":{"entity-type":"item","numeric-id":580962,"id":"Q580962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3210889$75A85D4E-76ED-4F0A-AC26-5E0723DC03CF","rank":"normal"},{"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":"Q3210889$2C6C2ABF-8C5B-470F-AF53-E97C355373F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3210889$2107EC41-73F5-4AA1-98A3-D47E1BA7CFA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5677db93aaee07b13b8fa4b2c1563a1cdb50e781","datavalue":{"value":"https://semanticscholar.org/paper/87a9d1b7241a3c1bda0b4dea81ff706d981ed77f","type":"string"},"datatype":"url"},"type":"statement","id":"Q3210889$A69068BA-832A-4A7F-8723-18D025F5ED6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210889$83EE3810-5A5A-49CC-90BE-353F67A1AB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210889$CDB4E3C0-46B7-44D5-B722-6364D7EA26D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13cb7ecf530c199420deb4a11455d6e54f366708","datavalue":{"value":"4193101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210889$89FA1F1B-D359-4F75-BC15-D4171BD2D906","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210889$EEBDEBFE-9F6C-4184-927F-344AC352D0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210889$D3915EA5-7092-402D-9E5E-E1EB738DD3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210889$34574A70-8393-486E-83A6-83B12850EF38","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":"Q3210889$74F3D0CD-E592-4B3F-B2DA-A193901E55CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19748c5fcf44fd566443c2b8c6f7d1670e8b2306","datavalue":{"value":"W1988347771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210889$045FF6F8-D72D-4E1D-91A4-F9FCE260D170","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d25e21226c5c87f943e0a2be381436782476758","datavalue":{"value":"10.1093/LOGCOM/1.2.261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210889$CDB6D062-DC48-4FDA-ACBD-443262D8A680","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3210889$DBC8EED8-DE92-4794-A2A0-4754D468A7CF","rank":"normal"}],"P1643":[{"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":"e4b5a788c5eec90d2f1fc45c51011061e5254bad","datavalue":{"value":{"amount":"+0.8699101209640503","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":"Q3210889$6433F8E1-5545-45BE-86D4-5D943000142F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7a468e9bb78d84740138070bd952c409d0c239","datavalue":{"value":{"entity-type":"item","numeric-id":1101250,"id":"Q1101250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a960de8b20ca459b0d33a127cae0a8faf3adaafa","datavalue":{"value":{"amount":"+0.869909942150116","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":"Q3210889$7F44856D-72F7-4C5A-9011-52D2E8AD33B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e29c8b0ed7758f646542ada42e9696456e7142","datavalue":{"value":{"entity-type":"item","numeric-id":4211444,"id":"Q4211444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d88ebfd6d842a39f75031ac36a0b536ed283a1","datavalue":{"value":{"amount":"+0.8372264504432678","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":"Q3210889$4FB50ADD-2A6F-44B4-B71C-AECA084D3912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ae42a808b37199a642114f619618f8a831d761","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d88ebfd6d842a39f75031ac36a0b536ed283a1","datavalue":{"value":{"amount":"+0.8372264504432678","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":"Q3210889$64A4829B-FB19-4B8D-9CD7-C9F96D6C1373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a780fc60449323d6d2c7705c56add3790b5bbb5","datavalue":{"value":{"amount":"+0.8242356777191162","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":"Q3210889$5D29C4FC-AC91-410A-A589-34016D4A42C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3210889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3210889"}}}}}