{"entities":{"Q4631184":{"pageid":6660766,"ns":120,"title":"Item:Q4631184","lastrevid":90008609,"modified":"2026-06-04T18:51:20Z","type":"item","id":"Q4631184","labels":{"en":{"language":"en","value":"Structural resolution for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7047277"}},"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":"Q4631184$098F057F-E1A0-4EE6-A89D-7D0BC701C9EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fea06d73c629dbd4c6b5650d0e9a65c4cc46354a","datavalue":{"value":"1407.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631184$755CECD3-0D0D-4471-85FC-2B591A9B8A4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4631184$A5DA5C39-76A6-4F2C-8FB5-D44A3377E627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4631184$AB41495E-BC8A-4F6C-8F0F-D756A3D671AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72768fdfe79592f5d8fd814ae684417832427132","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4631184$B05966C9-C9CE-418D-848B-395AD14E27FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a5935bb4f070aa8014d987a25d24fc56c18ba30a","datavalue":{"value":{"time":"+2019-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4631184$38E15DD9-5C7F-4EF2-92D0-01411DFDB76B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca5a420b9fa75fe085a519929a89075da82ee175","datavalue":{"value":"https://arxiv.org/abs/1507.06010","type":"string"},"datatype":"url"},"type":"statement","id":"Q4631184$C4B61884-0537-437D-8EF3-365A83CD8D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"079e1ded3fd7150a89fc3617aef793f06c9d3f8b","datavalue":{"value":"http://ceur-ws.org/Vol-1433/tc_22.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4631184$60C8C862-96B7-48CC-B3B6-E7691C6B738E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631184$9C36A14E-F725-41F1-BC94-8BE8FD2C96DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631184$9FBCE295-DA43-4AB5-9480-E6D829C71D4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"994fd8e23ad269d4e729251d32a332f94f419a96","datavalue":{"value":"7047277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631184$FF9D6460-BC31-44D6-88FD-AC56A708E320","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c22d62f413dc5948c4a463101cebe7446a7a71f","datavalue":{"value":"structural resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4631184$C4567D17-1E83-481D-885F-DE9885268A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44aecd103fb030390d39edc91ad0e2afeef062c","datavalue":{"value":"term trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4631184$5E855F30-1826-466B-A0C3-5A7F9454324E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fac83cff05e0f5fd0f10742cca480a5e5b5a6495","datavalue":{"value":"rewriting trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4631184$AA7CC368-8D2F-41FD-A161-AAED8C9B2AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7d79dc792a5b1d4268e954add5455ec6c669971","datavalue":{"value":"derivation trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4631184$0EA8BDA9-212D-46C0-B7F0-2AC9CEC703AA","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":"Q4631184$33D58E85-61D7-4F42-9F65-E487C0569594","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1cc01647461526304183ea0f6fe9815c01288c","datavalue":{"value":{"entity-type":"item","numeric-id":1098648,"id":"Q1098648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008cd91658dda7027bbcb0518bce2ef7d7c3f78e","datavalue":{"value":{"amount":"+0.758285403251648","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":"Q4631184$BDD45626-1772-41A1-A027-311FC0755786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcd4b9a23103ae0e3a8ef4d77f50344631b00fc","datavalue":{"value":{"entity-type":"item","numeric-id":3765263,"id":"Q3765263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03400975bb9e63b07457ec76f4b68c20b8f93de8","datavalue":{"value":{"amount":"+0.7332621216773987","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":"Q4631184$EC0B5D2E-E1F2-4887-AC77-5ED1BDBA1D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b799ecc2f95660e865bc871f5f427473178f4cad","datavalue":{"value":{"entity-type":"item","numeric-id":1192340,"id":"Q1192340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b093e994788d5fc8fdb4351cdceaf7ee77e9ec66","datavalue":{"value":{"amount":"+0.7225974202156067","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":"Q4631184$9A4A1BCD-103A-468E-B786-3446B473F6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20286e8af150e1172ba3d53021d18495c85c7547","datavalue":{"value":{"entity-type":"item","numeric-id":6483351,"id":"Q6483351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054fc73b25bda2ff425cd65cca41d5ffe42d42e6","datavalue":{"value":{"amount":"+0.7225973010063171","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":"Q4631184$F5BBE639-15A8-41BB-B347-5F139377897B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310fb5f9f7ab8edf4b6aa7fa56eb57e321098fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5702660,"id":"Q5702660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b3a921f1bd68c5360ee98e0efd9010a2f3c031","datavalue":{"value":{"amount":"+0.715774655342102","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":"Q4631184$B276EBF3-B56A-420F-8E9C-B258158817B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural resolution for logic programming","badges":[]}}}}}