{"entities":{"Q1575466":{"pageid":1586206,"ns":120,"title":"Item:Q1575466","lastrevid":73073001,"modified":"2026-04-14T14:23:15Z","type":"item","id":"Q1575466","labels":{"en":{"language":"en","value":"Some classes of Prolog programs inferable from positive data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493321"}},"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":"Q1575466$B16433B0-FD62-42AC-9494-633E839DD822","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0292eca25e52298f38b87d19d3af37917afa1e3b","datavalue":{"value":{"text":"Some classes of Prolog programs inferable from positive data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575466$8647FB7F-6965-443B-B07C-4F6879AE06DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5597b58819e630c1c91d54954348132ccfe588cd","datavalue":{"value":"0944.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575466$BECA0AA7-A18A-47FC-9BD3-C88660D2E68B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"674101ce323504bd151b6426d6087c5737c9ce05","datavalue":{"value":"10.1016/S0304-3975(99)00271-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575466$34021E71-C4D9-4D56-89E2-1960114959BE","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":"Q1575466$365C43CA-72AD-4297-BA1D-C600E5521FB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$2DCC0B44-D454-48D5-ADAA-26E6E0F02484","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575466$93A5A0D6-9BB4-4163-89F0-EB823BEB5947","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575466$CEE0C6A7-9E91-4F61-B9E3-52D2135F9E69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b06a066891ca98be34533221c4780ea59e3ab19a","datavalue":{"value":"1493321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575466$AEBB7474-0260-44CF-9BB0-A442BFE50071","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2032f674407d5b5d5d45cb75eb0d9f9789316","datavalue":{"value":"inferability of Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575466$13BF6C2A-E01D-4179-8B53-ACDEF117310D","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":"Q1575466$A2059414-4B4F-43B2-8C33-A514C91BB090","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b40c59feb183e6f32a8e2fcf3769d2018e89bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3910029,"id":"Q3910029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$A4CB6011-72FB-4E38-9AFE-2F59671254F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$AAD1F68C-5323-442A-A2BD-86ADE595CE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd4406d62879db7689506b2eff51013d04f3bf0","datavalue":{"value":{"entity-type":"item","numeric-id":3143039,"id":"Q3143039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$44D2006E-A9FB-416C-985D-0F41731EA7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38edea1b938fbdd8a9623a6542490f846108277","datavalue":{"value":{"entity-type":"item","numeric-id":4154852,"id":"Q4154852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$FBDD4DC4-D925-4D02-BFC8-43FEC4C03465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33aacb3cdf8e765905527dfae7cb739f8ae5352f","datavalue":{"value":{"entity-type":"item","numeric-id":4386935,"id":"Q4386935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$174428EA-4550-479B-8879-4115C5DBD9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$F10FB578-E256-4742-8179-6F88EED2FC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8140b64da87eb757e75ec32af8a7ba1c1f4c2dbd","datavalue":{"value":{"entity-type":"item","numeric-id":3556998,"id":"Q3556998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$7365C8CB-7CA7-4426-ADBC-0E36DC85CF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$82CF44B6-FDB0-479B-AC14-4AEC48DDAD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10370f927a9f0c84429f854a8ec1c0aea7386a02","datavalue":{"value":{"entity-type":"item","numeric-id":3126929,"id":"Q3126929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$C06830EE-B71E-4F06-AFA1-424EDBBB89FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d6e440c7c04f02fe969654a637ee01b1d7b8d6","datavalue":{"value":{"entity-type":"item","numeric-id":4202913,"id":"Q4202913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$94A8F888-412A-4A44-9BF1-8B8817D3726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d20bdcea5490376265832e57967847211e2ee14","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$4C9FA135-FACE-490F-B59D-6DEE72AC5B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce917b966191fcc55cb06979ce350d12396960","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$F7D88380-C360-45C6-A3F2-48242DFD6D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd070f67eb457d07dfbc72ded4b3c2924fb84a30","datavalue":{"value":{"entity-type":"item","numeric-id":749217,"id":"Q749217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$7FF30BB5-2D2C-4B93-B1E6-3E4D2A1B4EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$48C83C7A-28B4-4CB0-B87C-0A52D6A67FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b464787ede6105cfe1ebff3434707a69d395f7e1","datavalue":{"value":{"entity-type":"item","numeric-id":4267821,"id":"Q4267821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575466$B14CB9A9-8D8B-4CDA-B15C-8B2E3575D845","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae48432fb30876e7c7927c77ffce74f73edf5d2","datavalue":{"value":{"entity-type":"item","numeric-id":3556998,"id":"Q3556998"},"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":"Q1575466$F4924741-DA01-460C-8076-91F7A88573BA","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":"60797190f10c97ac0b3bcd75a02155888f03dad0","datavalue":{"value":{"amount":"+0.886030912399292","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":"Q1575466$434D8B22-B5CA-4DB3-BA91-52B52A819919","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":"5976d2e5888b5731ac81241ee31beeb984f207ff","datavalue":{"value":{"amount":"+0.794494092464447","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":"Q1575466$6FF2C530-C26E-4508-8D8F-2F7906F5003C","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":"0a781fcdbacef71f8ffcf008d9f66bfda249664b","datavalue":{"value":{"amount":"+0.7891286611557007","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":"Q1575466$2F1F2FFF-C715-4BD2-B381-BAD2CF82A8CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some classes of Prolog programs inferable from positive data","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_classes_of_Prolog_programs_inferable_from_positive_data"}}}}}