{"entities":{"Q1382912":{"pageid":1393652,"ns":120,"title":"Item:Q1382912","lastrevid":71597958,"modified":"2026-04-13T23:18:20Z","type":"item","id":"Q1382912","labels":{"en":{"language":"en","value":"Modification of the Robinson's resolution method for built-in predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1131851"}},"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":"Q1382912$C1F96458-1655-4114-B3CD-50A78903FAE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f179556e1f874697723441d1f547db5b41a6ab11","datavalue":{"value":{"text":"Modification of the Robinson's resolution method for built-in predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1382912$6B26DE93-E95B-4EF7-BDC1-B21B57302673","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e901d0b67525a11844090f822d3e58dfc51f2eb9","datavalue":{"value":"0888.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382912$972C306A-7F1C-4B7A-B1FF-37654F044587","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05a436125d0e10c65fac4ea95c85019e447fad3f","datavalue":{"value":{"entity-type":"item","numeric-id":174224,"id":"Q174224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382912$001AED47-7CDA-4263-B53D-51A50292F8C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1140ec887dccda5e7cf6373b784a94bd7ebcb9b9","datavalue":{"value":{"entity-type":"item","numeric-id":171193,"id":"Q171193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382912$C7D6C827-1066-4CA8-AFA4-C6773C7CC74A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d55cc22f86d5a88bdff7c2024fcf06a0fd1a76","datavalue":{"value":{"time":"+1998-03-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":"Q1382912$1053B3D9-6B08-4965-81E6-3E571E69B0E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382912$3D25A187-836E-4369-9E12-C84406517E67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9e6a7c043f42e0eb4fe67da858655c1331e45e7","datavalue":{"value":"1131851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382912$CCF1C93C-5B73-4860-B0BC-3D435A2F487E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f6fc134863403691e2c70e290a7639b77c081e","datavalue":{"value":"unary resolution rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382912$82FBCAFE-5AC0-46FE-AA9B-07F3468D2F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac72ff49d13ab1d1219b0013b4ee9e279e55901f","datavalue":{"value":"Robinson resolution rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382912$BFCEE1A3-AC5F-4028-9C37-5F18FE3C95FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c02685c99a5ed0eccb7e72d77711a3a07c4b858","datavalue":{"value":"computable predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382912$6AC69C42-A15F-4318-8A35-2AB835E93D92","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":"Q1382912$5F128405-1B67-4817-BCFE-A5FE4B562275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39835574666932a9f226413e82925155b1598e01","datavalue":{"value":{"entity-type":"item","numeric-id":3338214,"id":"Q3338214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca85937baf1b47fd9666873812388a3372537e1","datavalue":{"value":{"amount":"+0.7433636784553528","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":"Q1382912$A8B04498-C5FD-4B78-9FFC-1BDC5740662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295eacd5d3b86ddd32e0b401d6a1ad02be5bfe37","datavalue":{"value":{"entity-type":"item","numeric-id":808295,"id":"Q808295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cdcbcf8861b301370eebaaaf611fe9e25d84ae2","datavalue":{"value":{"amount":"+0.7361464500427246","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":"Q1382912$D80A50D8-79B1-4353-9250-5DC898EDB21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cdde3ee7f21322dfd39feee80b7b145a35bf7a","datavalue":{"value":{"entity-type":"item","numeric-id":4207882,"id":"Q4207882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208411709505bd1d08db37eb7d383ed8913042e8","datavalue":{"value":{"amount":"+0.7338179349899292","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":"Q1382912$F119CB5F-4ABD-488E-9DA9-9189EE0DBE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd6e87b56b1b61f1ed9cd00d787a49416aef55a","datavalue":{"value":{"entity-type":"item","numeric-id":3487317,"id":"Q3487317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35dcbb3d754ba3bc2a9b723dc79f0905bc7460b","datavalue":{"value":{"amount":"+0.7307388186454773","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":"Q1382912$9F98618F-633C-4383-86D6-766E885765D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a4e3e06fa8f5fa1613e3a0e750e25d9066b72c","datavalue":{"value":{"entity-type":"item","numeric-id":4281258,"id":"Q4281258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf955a23011e2cb0f362e43b0c448cd3ec77c38","datavalue":{"value":{"amount":"+0.7298579216003418","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":"Q1382912$12DDC44B-E76E-43CC-BE02-7BB6EDC572C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modification of the Robinson's resolution method for built-in predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modification_of_the_Robinson%27s_resolution_method_for_built-in_predicates"}}}}}