{"entities":{"Q1900917":{"pageid":1911659,"ns":120,"title":"Item:Q1900917","lastrevid":71112654,"modified":"2026-04-13T19:33:23Z","type":"item","id":"Q1900917","labels":{"en":{"language":"en","value":"The expressive powers of the logic programming semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 809409"}},"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":"Q1900917$F825C29E-6248-45DE-9E70-D0F8E0A0F6BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"290956dbc314aa5adaaefc5b03d941287aeefac4","datavalue":{"value":{"text":"The expressive powers of the logic programming semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900917$B551C8ED-5532-4DFB-BC47-6EE697B02C91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6601b11299e0293332e1b8282a65441dccf31df0","datavalue":{"value":"0831.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900917$B54516CF-8014-447B-90C0-02A1925B2E6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9afafb4ea4689b8f0555839c80f07e72314b76","datavalue":{"value":{"entity-type":"item","numeric-id":579239,"id":"Q579239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900917$2DF3C8F2-A6FE-40F6-AF5D-00A0643C6227","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900917$F93FE1A7-328E-4467-B5B9-52169408A69B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3dc154eee51bf5abce35383f4dbccd662b8b9c55","datavalue":{"value":{"time":"+1995-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1900917$A9E7F0A9-9BB2-4A0A-994B-DB03528A5589","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900917$E6F73769-7247-4866-AC44-2F6CBD7F0AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900917$D338FD6F-2623-4A63-AF18-91F76580EC50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"536ab96a6accb72976ef43f8f37a1e2914919b01","datavalue":{"value":"809409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900917$5A6CECAD-622E-4739-A06D-BD5240FC210C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900917$B7C16337-97A7-43AB-AC00-F01D5509A321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c463c6cecbdce9cddfd2dfaaf1e9d8a7a33e119","datavalue":{"value":"infinite Herbrand universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900917$D0516C0E-1968-47C7-9B6B-241F96E3BA50","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":"Q1900917$FD7ADC38-C580-4861-BB51-7EAAABA6C679","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03108a169808b970c35ac8434aabd294d81fb9ea","datavalue":{"value":"https://doi.org/10.1006/jcss.1995.1053","type":"string"},"datatype":"url"},"type":"statement","id":"Q1900917$979E33A8-F163-46A5-BD6A-2BEF65B3F9D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f045145887e6c0b358cc4526555535c1574cc12","datavalue":{"value":"W2043182143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900917$B6DBE671-85E3-4DBF-B42C-F44868111B16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88b7e5be1e396e8b767c49113fedb46472879fad","datavalue":{"value":"10.1006/JCSS.1995.1053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900917$9D8A34E4-6546-4026-8FA1-E2DF2ADB1494","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcae930ac7336a9c7b53c79dbf133411568e248e","datavalue":{"value":{"amount":"+0.8392965197563171","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":"Q1900917$2911C0AC-1311-45A4-9D45-25083E5DB971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453cf72ad424e107f20523dea8c491591b2b9a54","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09fca0295e2ec74bb29b54b50da3e081d73771f","datavalue":{"value":{"amount":"+0.8322603702545166","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":"Q1900917$43225142-F594-4C4A-992D-C6158B01871F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408e2c006bcd3fcf2c6122adb3e70d16b183d84a","datavalue":{"value":{"entity-type":"item","numeric-id":1924779,"id":"Q1924779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b15a31c2916ccb58552b76e1fd69304473f99e","datavalue":{"value":{"amount":"+0.814698338508606","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":"Q1900917$B7D30B22-A4E6-4EAE-B936-D59341C17765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7662bf62316859e1e110290de01a1895fbcee798","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b15a31c2916ccb58552b76e1fd69304473f99e","datavalue":{"value":{"amount":"+0.814698338508606","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":"Q1900917$4983DB3D-86C2-43A1-8539-95BE4482D7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9a7bfa3b3863035dd605aa9263b2ad56de540","datavalue":{"value":{"entity-type":"item","numeric-id":3348435,"id":"Q3348435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d69e2af8a616ec29b0cbda1b732de5b75880c7","datavalue":{"value":{"amount":"+0.8054051995277405","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":"Q1900917$4593911B-F0C4-41E6-A3CD-2FBBDF351A0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The expressive powers of the logic programming semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_expressive_powers_of_the_logic_programming_semantics"}}}}}