{"entities":{"Q2883090":{"pageid":2893815,"ns":120,"title":"Item:Q2883090","lastrevid":83691842,"modified":"2026-05-07T09:59:37Z","type":"item","id":"Q2883090","labels":{"en":{"language":"en","value":"Subsumer: a Prolog \\(\\theta\\)-subsumption engine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033343"}},"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":"Q2883090$0ABC33E1-C6DC-4682-9361-E7F31FAEFA3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"790eaf7f34610c7e8d9eae825906b67343c66b2f","datavalue":{"value":"1237.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883090$6D8FCB4F-9B82-48D3-8C60-4D8D1D872A25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d45770ed2e399802a8c2795a0f4103ca2194dd3","datavalue":{"value":{"entity-type":"item","numeric-id":1009280,"id":"Q1009280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883090$07447812-F3EC-44E9-9532-1D375FF2FBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50339c323596e6277285f829830443af3a213974","datavalue":{"value":{"entity-type":"item","numeric-id":208022,"id":"Q208022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883090$054ABA53-BD0F-426C-834D-2727A32BB84D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883090$DBA9DCC1-BA02-4420-AE23-41C03FD5611E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"553daefb67402974e8ddfc2de9ba801517ca07f3","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_9857.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883090$50512632-2880-4EA0-B8B9-4A69F9F0571B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883090$512F2954-9AA1-48D5-888E-3DA836BC797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883090$B96D6C69-9C53-4CC3-BFA3-03D754C7A091","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2928d0f75cb89699ee4f94fb9f90afd1bdfee15","datavalue":{"value":"6033343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883090$9D5E5431-8BD7-4A25-A17E-1ED549B82592","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a802931ed865f8065d2dd6aa7fcb730cc63351ff","datavalue":{"value":"\\(\\theta\\)-subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883090$2B366070-8892-45C5-A370-3E4E22B65D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883090$6EC78068-644E-4D7E-A9FC-8764507F0014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883090$930BADB5-26F6-4A8D-94E5-623A7E5E7A1D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01101def00e7e31ceef5947b6c03c51bdf46f175","datavalue":{"value":{"entity-type":"item","numeric-id":25765,"id":"Q25765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883090$5CD8407B-C85F-4FA1-B889-C85EF1D594CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc1c92843337792088b1db4c3bdf57f19fb22bee","datavalue":{"value":{"entity-type":"item","numeric-id":24041,"id":"Q24041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883090$4D839F31-9231-4728-9C13-594D62778A69","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":"Q2883090$E5D9FD7A-8FCB-4D13-B359-D5803BC3D64D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aece28c8d1396504b8b7ecf42ec076892ed59af","datavalue":{"value":"W1573121164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883090$A363E0A2-808E-459D-A9B3-2CA4C13DD987","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf65422b1ece4d2b03a8cc904940892cf193f938","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883090$D5E6BDB8-F8AD-45A2-B285-3AE820A4C04C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e36fd9045d6e305d6c97531ff80bf93b3b0c1b42","datavalue":{"value":{"text":"Subsumer: a Prolog \\(\\theta\\)-subsumption engine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883090$B6279883-76EB-4D2C-A9D1-7D43F0F1B116","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f75a3cb60902658e0af4efa3e8fbdfecdc7497","datavalue":{"value":{"entity-type":"item","numeric-id":5894895,"id":"Q5894895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757eda3dae9a2813a6bd49bc0a6b15adb710b919","datavalue":{"value":{"amount":"+0.8349617123603821","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":"Q2883090$23C84DDB-A435-4582-B795-9DB0C80EE167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922f5f5a3cefa381c04548b333c4030da42d71b2","datavalue":{"value":{"entity-type":"item","numeric-id":5921680,"id":"Q5921680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d8f7df0fc9bd0ed8901c24d51e5b5ba21bc284","datavalue":{"value":{"amount":"+0.831271767616272","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":"Q2883090$E82B1A54-92FC-4870-AF02-4CE169FC2C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1cb019b54eef5d9dfa8f036c41e1cfd597ec94b","datavalue":{"value":{"entity-type":"item","numeric-id":4796155,"id":"Q4796155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f501efc6ea801c634f145e3a06788c88027406","datavalue":{"value":{"amount":"+0.8258072137832642","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":"Q2883090$628E5E6A-BACD-4418-8C6F-441363D9AEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fae72a7b08f93555eceb892ecd8f175b30181f","datavalue":{"value":{"entity-type":"item","numeric-id":5692352,"id":"Q5692352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726662624888746c0eada4a2c208011dde38722e","datavalue":{"value":{"amount":"+0.788860023021698","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":"Q2883090$475D4A0C-6C3C-4A1C-B9EC-9365946B64D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489bd117be78918a05d21138954d9f0123dd099c","datavalue":{"value":{"entity-type":"item","numeric-id":5897319,"id":"Q5897319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f0d7b7bc7a16e1364f755552dc72060c5cd2a6","datavalue":{"value":{"amount":"+0.7634975910186768","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":"Q2883090$C254CBB4-A891-4CEC-BAB6-F76AB8323714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subsumer: a Prolog \\(\\theta\\)-subsumption engine","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subsumer:_a_Prolog_%5C(%5Ctheta%5C)-subsumption_engine"}}}}}