{"entities":{"Q3942361":{"pageid":5972266,"ns":120,"title":"Item:Q3942361","lastrevid":81279410,"modified":"2026-05-06T18:09:22Z","type":"item","id":"Q3942361","labels":{"en":{"language":"en","value":"Contributions to the Theory of Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3759508"}},"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":"Q3942361$A5A254E7-6301-495E-A4B1-AE939B60E80D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fbbed8bf999fd7f2a931f7721e80a3581b21cec","datavalue":{"value":{"text":"Contributions to the Theory of Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3942361$D38036FA-E7B1-4A98-8975-277454FB9118","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5815243509b7c79778230b2069baa3dfdb25ce9b","datavalue":{"value":"0483.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942361$737C47E1-5E42-485A-86B8-B0C7AC434F92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b81206738b92397a2631be29752d52715bd8ea5","datavalue":{"value":"10.1145/322326.322339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942361$3BE9F15B-93CA-4599-B58C-896C2A9AAD60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942361$3AEDF342-3214-40B6-9C9F-97A17F21E47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"181a8a4cdff0d7ae825ae7dd77700a8b4f94c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1424802,"id":"Q1424802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942361$0AE7AE77-11C4-4115-B813-3892DD62C52E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942361$21151506-0D35-44A2-B486-19F5DC4E00A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3942361$53761633-1FE9-4509-ADF8-E51DF4856D08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da45683df6c9477104eea54988a0144694b686ca","datavalue":{"value":"https://ir.cwi.nl/pub/10272","type":"string"},"datatype":"url"},"type":"statement","id":"Q3942361$300EA0A3-9080-4013-963A-77C036089781","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942361$68C7D92C-ACB4-409D-8213-178EEB093E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942361$3C943D68-25E0-40EA-B712-62A62902E1FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78909da337b28311108d342177d2cb1d162a3792","datavalue":{"value":"3759508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942361$1765C0C7-BB1A-4C4E-87DA-53713F0534A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59de4397a7427f9196fcb4246afe19d4a798d37e","datavalue":{"value":"Horn classes of first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$A0EDA1F7-9183-4A5D-924E-AEF64A2F07A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38c27261e5f955829a90011a1cd57920923d3a1","datavalue":{"value":"high-level programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$295C39F5-8447-48F3-9464-F120C1AB44F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$0E6402DB-76EC-46DC-A945-2BA7C49A848C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$587C4788-7BEA-491A-97A5-7D9A7F46E6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ef5874418e73ee30071d5cf4dfa4c84ecae886","datavalue":{"value":"semantic characterization of termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$5510A386-F3D1-465D-87C1-0F76FE9AE4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$F9CE54EF-F33E-4AB9-9E28-E5A50A93E990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dadbda5315c75cfc801b59e919c478a30be05a1","datavalue":{"value":"greatest fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$C804972F-CF06-4B9A-9375-082184E3B62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$1B843E3F-B101-4944-8553-2DEBE0E6875D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$16118545-8124-43DD-97FE-9DDAEF985842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5fc8f4e49b412117aa51dfd17c96b08bd48d9bb","datavalue":{"value":"nondeterministic flowchart schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$A646359C-6CEB-4C61-B3A5-1523993A5D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ebc797a20b41b114bf017a4c468eb6accb676a","datavalue":{"value":"blocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$15E4AC8F-8B5B-4203-996D-3F3A76750CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942361$1E429FE8-55E4-4980-8B94-D62FA4A848DC","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":"Q3942361$2A4026B5-FA9F-4861-8115-F320AFD5C5E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a73014df96a246851fc000d01666fa0246f7bf8","datavalue":{"value":"W2143382644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942361$1714DB2C-746B-4CF3-B1A6-55C7BBB13842","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contributions to the Theory of Logic Programming","badges":[]}}}}}