{"entities":{"Q3556998":{"pageid":5586902,"ns":120,"title":"Item:Q3556998","lastrevid":90295358,"modified":"2026-06-04T19:48:12Z","type":"item","id":"Q3556998","labels":{"en":{"language":"en","value":"A class of Prolog programs inferable from positive data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5701914"}},"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":"Q3556998$10C596C2-EEFF-4E1C-BE1A-98E7BD80882F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c95604e8e7a4a3ca92deb26ba164ed0fbf7e978","datavalue":{"value":{"text":"A class of prolog programs inferable from positive data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3556998$4066AC80-1905-414A-8756-730EECABD475","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c9ae928be19e535583cd2d513bffb2855084153","datavalue":{"value":"1184.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3556998$D89397D1-672A-47B8-B79D-42748C1DF071","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b3daa2f920af77192c3010598a1379d5c69d660","datavalue":{"value":"10.1007/3-540-61863-5_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3556998$9D28350E-6F32-4304-8CD8-4D1319891F78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb57310977e308cbdca87dfcc89a72e3a1a1259","datavalue":{"value":{"entity-type":"item","numeric-id":924173,"id":"Q924173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3556998$A5950D5A-A4D1-4118-9780-16D7D1B890A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3556998$8F967C3B-90E1-4C7A-AC1E-9BEF6BEDE5D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3556998$5F5D65DC-957D-4B06-AD4B-7DEBB1AB43D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3556998$26B413EC-5C25-4B0D-9AAB-C71DC4C9B171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3556998$6BFA59DA-7FAE-4011-97B2-ED6779067640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90e6e0ad3c0cee1d2e0bfdd8719117868db373a3","datavalue":{"value":"5701914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3556998$7EC78F35-6742-4C0C-9409-90B05CB68192","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":"Q3556998$5B4A31AA-257D-4721-8BBE-E81FA88EB640","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b10dd3c5e28fe2f3fbb3832b2ec9608a46146381","datavalue":{"value":"https://doi.org/10.1007/3-540-61863-5_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q3556998$A9BC3251-E9CE-4453-A1D6-709644BF894B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"725429d0a80fc7866fec68249d6ce3ab4d490d5f","datavalue":{"value":"W3199782380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3556998$72AB6A82-2BA6-48A5-A347-AEEE258C4CBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6007f0bfe9c1000df919d80d23a9d47e33f08b6","datavalue":{"value":{"entity-type":"item","numeric-id":1575466,"id":"Q1575466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53cd06dd8cade497e0d95584bf8529a3dd43eac","datavalue":{"value":{"amount":"+0.93595951795578","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":"Q3556998$646DC43C-6361-408D-8B2B-39246B4182BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb91619fbdfed74e71254b0de64a8ba72808ee0","datavalue":{"value":{"entity-type":"item","numeric-id":5395047,"id":"Q5395047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6dfb3e1008068c60cc959dc9679933b0290e186","datavalue":{"value":{"amount":"+0.8858563899993896","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":"Q3556998$97AA281C-DE75-43B9-9AF7-09003C9A8C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00f6f3547374c735ca0236bcacd57d95b614d7e","datavalue":{"value":{"entity-type":"item","numeric-id":5464524,"id":"Q5464524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af915bf59012f5474530f683c81b487162894534","datavalue":{"value":{"amount":"+0.7849557399749756","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":"Q3556998$8EB0A3B4-8726-49F1-A652-B047BC3F1931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5af02cd51d1b8ee9c5e9f48491fc411604e624d","datavalue":{"value":{"entity-type":"item","numeric-id":924174,"id":"Q924174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316db028db71ba0881e075530be4010045029d3b","datavalue":{"value":{"amount":"+0.759930431842804","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":"Q3556998$FE6B2756-89E7-4839-927B-B9E6C6DC2D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6860ee2fee172bdc7054e6f63e7be020054c4c2","datavalue":{"value":{"entity-type":"item","numeric-id":1322482,"id":"Q1322482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749eee018a57653904848fce24f5799c149f00cf","datavalue":{"value":{"amount":"+0.758045494556427","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":"Q3556998$D9820F38-4468-4663-8462-0C9CAD1452C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A class of Prolog programs inferable from positive data","badges":[]}}}}}