{"entities":{"Q1277339":{"pageid":1288089,"ns":120,"title":"Item:Q1277339","lastrevid":46631616,"modified":"2025-12-25T07:21:29Z","type":"item","id":"Q1277339","labels":{"en":{"language":"en","value":"Heuristics used by HERBY for semantic tree theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1248229"}},"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":"Q1277339$8787CB1F-33D5-4F95-9B65-00E25353F304","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00535c21b95185f92116bb7b02c053c5d6c6540c","datavalue":{"value":{"text":"Heuristics used by HERBY for semantic tree theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277339$4BA7C0E2-88D7-4A57-B8B4-2D491002790E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9c016b90904aa6a1558da3e382bcf83e6da74d3","datavalue":{"value":"0913.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277339$FFC648D4-6930-425C-8CBF-FBA6D6298177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ac5aa58ae25506cba8eef4b759a334b2dda7835","datavalue":{"value":"10.1023/A:1018976510663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277339$4CB5EB40-1CBC-46A0-BF6B-7170A31D4137","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a92803a934011e24d7546d7013100a22c2cb1b3","datavalue":{"value":{"entity-type":"item","numeric-id":1277337,"id":"Q1277337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277339$767FC653-CDFF-4DFA-8411-083F2C63BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6738e8db0f627d83ecc52a74051aa80dae8b20bd","datavalue":{"value":{"entity-type":"item","numeric-id":1277338,"id":"Q1277338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277339$63D1B4C4-8275-45C0-97C3-C999A17B737D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4147413905ba97d7ea1ec9d0f2b99addf0d474c6","datavalue":{"value":{"entity-type":"item","numeric-id":1354040,"id":"Q1354040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277339$431D23AA-1A4F-4C21-ADCC-1E1DB4C89A80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277339$7EC4CD67-7E5F-42C2-953E-F80E1771DDA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fba0cf8f85f7b1ad95f7e924756131fda6f2c74","datavalue":{"value":{"time":"+1999-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1277339$F3CB9816-F6E3-49C2-946F-2B704D52D268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277339$28824627-B52A-48B9-8FBB-34913A71AC30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12fe6071596563c30153f41c019853c2f4f17fc9","datavalue":{"value":"1248229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277339$7A90CB89-E0EB-4AD5-932B-E334EEA73EC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1175624c41b70655b0d21a12bc96f537dbb3a6e2","datavalue":{"value":"HERBY","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277339$6B5C1323-13D1-4914-BABF-3579F49CAAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34faa57811b42c7ef4e4a37c6ce6bdc7e8be0ee8","datavalue":{"value":"semantic trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277339$C5D33EF1-33F9-4E34-83B2-E0598C99F459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a250535976c55d0d83f766a663ca018f553759e","datavalue":{"value":"first-order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277339$49689321-8E91-41F9-85CA-A03CE44358E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277339$21010875-9981-4B08-A7CF-29B17987C5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7bea7b1a95583dcf9c47a48e1f0734187b198c5","datavalue":{"value":{"entity-type":"item","numeric-id":14474,"id":"Q14474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277339$EC05FC42-BF49-4C46-8EA3-48929D20C43D","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":"Q1277339$505A302B-6629-4482-8E42-176049C6AADB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90a31600db229e2dee71ce2ca494bda53919991d","datavalue":{"value":"https://doi.org/10.1023/a:1018976510663","type":"string"},"datatype":"url"},"type":"statement","id":"Q1277339$1CE04DC3-D24A-4699-81E5-AC6A68378E59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8105b0410d4485de984f4876e49eb50417e97c93","datavalue":{"value":"W1856099230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277339$2C2ECC52-B3C5-4724-8A94-91FA5BAE66CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38533ae70b361b85999860bad1988f79aff31e87","datavalue":{"value":{"entity-type":"item","numeric-id":2701741,"id":"Q2701741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c8e3d6e4e35a2a0fd5d91cd32a016ba28a61ab","datavalue":{"value":{"amount":"+0.7888085246086121","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":"Q1277339$8904917B-E72D-4A77-AFDA-95D05E3A6DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa4472f6b180b98ec9f6af2764d50b483f899c9","datavalue":{"value":{"entity-type":"item","numeric-id":4823345,"id":"Q4823345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796a6cf85a4a295888640ef3704500211fa71463","datavalue":{"value":{"amount":"+0.7623887062072754","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":"Q1277339$E3C95195-0789-422B-B0C6-4363B2BF2095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b09c6a971b6451ef202d48aa08df2a5aabea6c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709920,"id":"Q3709920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a223bdad04c8718fc3bb940bc216a05b4513a0","datavalue":{"value":{"amount":"+0.7536666989326477","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":"Q1277339$332867F7-F531-45B9-A501-66E118DC5136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cfc99224bc940a643a0e63f784fc5b3c6ee7679","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c79a0d00da9ed335547f551bb813b77b1bdc9a4","datavalue":{"value":{"amount":"+0.7344335317611694","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":"Q1277339$81CA4627-7B17-48EA-B4C1-BC4C55CCE933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1277339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1277339"}}}}}