{"entities":{"Q1899138":{"pageid":1909880,"ns":120,"title":"Item:Q1899138","lastrevid":71108739,"modified":"2026-04-13T19:32:13Z","type":"item","id":"Q1899138","labels":{"en":{"language":"en","value":"A mathematical definition of full Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802542"}},"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":"Q1899138$43E57221-4ADA-43E8-9B0F-1E5A2441B3FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6c314f829629f33ddab6efab92670cd48847628","datavalue":{"value":{"text":"A mathematical definition of full Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899138$00EC595B-1A74-4401-B2C6-6E3CA649DDD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d8948484382f7e602348c2a966bde1a95a9604","datavalue":{"value":"0832.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899138$9577B000-861F-4469-81E7-E5472EE99F7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0276983f01886ac1081cd204c6792cf4e69c2aa","datavalue":{"value":"10.1016/0167-6423(95)00006-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899138$2A16304A-2144-4CD6-8C86-B31D5002060D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899138$8ACA3AE3-5F55-4E05-921B-3A21BD97D30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0573cf040629587af6f653f9168bb8c1a30192f","datavalue":{"value":{"entity-type":"item","numeric-id":1899137,"id":"Q1899137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899138$9BB88EEC-F5CF-4520-82A5-5AE30554B7B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899138$C575178D-FD28-4CB3-89C5-C07A3E320BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5eaeb2c9097fea69c487fbd2ea3e5d8c5e6a6b7a","datavalue":{"value":{"time":"+1996-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899138$105146A4-1A90-4A0F-83C2-E41AC9817A9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899138$B98CEFDA-8D1A-446B-B363-D116C67223AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"def86cfa6886a943b4e897de3db7d4dc4a811cd6","datavalue":{"value":"802542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899138$7A408A73-8199-4C17-8E70-4F5B4D40F06C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899138$928152DB-E246-4C33-BCEB-43CC88E01095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899138$D6906524-CD6A-4746-96B2-A3A23BEEB9DA","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":"Q1899138$04D4C345-F233-4226-8299-CF1BA6581DF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c13a03aa151732c10d363f5006f3e2a458659b9b","datavalue":{"value":"https://doi.org/10.1016/0167-6423(95)00006-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q1899138$243C145C-2050-4242-8A78-C2786F690EA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a1882bd0a851ff7d5b56f24aaad1feecf7036c2","datavalue":{"value":"W2131540458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899138$84136B32-D621-468A-90F0-0772B2380EB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a6871bb4f93841a4ae277d8bc757504300d976","datavalue":{"value":{"entity-type":"item","numeric-id":3976572,"id":"Q3976572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e9cabd9e63fe44a31c58e849e6ff582d96f2b6","datavalue":{"value":{"amount":"+0.7844049334526062","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":"Q1899138$9E605EED-1F7B-4ACD-A7BE-AE99EDBC8C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3178cb73ff98b71a72320218fd4758cc58c6bf75","datavalue":{"value":{"entity-type":"item","numeric-id":3976026,"id":"Q3976026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6b14aed89a56095cd7f0dc14a6f832de2f55ba","datavalue":{"value":{"amount":"+0.7664151191711426","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":"Q1899138$ACFB0596-0131-4350-BCB5-38B4D2E3579A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97045977dd143e7f917122ca4146ed169ad5ba2f","datavalue":{"value":{"entity-type":"item","numeric-id":4010351,"id":"Q4010351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f2531f321fc314f1e660624b96d99e86dac9f9","datavalue":{"value":{"amount":"+0.7629300355911255","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":"Q1899138$7747F72E-C237-481A-9DD0-FEFBBC956728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A mathematical definition of full Prolog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_mathematical_definition_of_full_Prolog"}}}}}