{"entities":{"Q1412130":{"pageid":1422870,"ns":120,"title":"Item:Q1412130","lastrevid":48195943,"modified":"2026-01-03T22:31:21Z","type":"item","id":"Q1412130","labels":{"en":{"language":"en","value":"Eliminating redundant search space on backtracking for forward chaining theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2001429"}},"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":"Q1412130$DD84E9EA-9FA3-4BC3-8BA8-414D694582E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5da2157952f14591e96d8fce643f4708c3a4f7e","datavalue":{"value":{"text":"Eliminating redundant search space on backtracking for forward chaining theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1412130$07B89C68-B3A9-4F4F-B182-50CDAAFD17EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c230385bacc1eae6fb4668e18d4f264fba0f402","datavalue":{"value":"1031.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412130$A6F8295F-C17F-416B-BC41-B2F540452609","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d55cfa8743be5add95b58c0c4725d1b1657a0ab0","datavalue":{"value":"10.1007/BF02947117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412130$7F93E97E-E9D7-4FD5-94FF-A26B1DE6CBFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b57a8365d3003dc9a9dcfad048d6ed93e4a4d99e","datavalue":{"value":{"entity-type":"item","numeric-id":230828,"id":"Q230828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$EB0E405F-E042-4FF1-BD7F-29D2243F5CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8afa6f0afb2dd6919eff4eb63ea3520a701f4a39","datavalue":{"value":{"entity-type":"item","numeric-id":1412129,"id":"Q1412129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$476E3184-C489-4B02-A30E-5928DC7AAC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b9365d6207c54da8d27dde9c4c01f650b829cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1108820,"id":"Q1108820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$B1413F98-0643-442F-8948-B45A89AD5DFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$06FABE3F-DA64-4D17-BA74-9FEF2B5C4E91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80ba868010df648add138b129628ef28cb662dc7","datavalue":{"value":{"time":"+2003-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1412130$0F2799EB-0236-47DD-BCE7-A349CB443B19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412130$0C994467-8A33-4269-A6B1-BEE0A2734E43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3d186e12993b1f6556e902cb983e32232c8c53a","datavalue":{"value":"2001429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412130$53FF1700-4AC9-4093-8344-53727C6DB9B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3bb39d37e16b62d669640c62bb7ec3ec900326d","datavalue":{"value":"SATCHMO","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412130$B532F475-770A-49A5-ACF5-C183143ADAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b1ff5cea21d073f783283ee6d6f871ac169ab6","datavalue":{"value":"I-SATCHMO","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412130$A66FD282-B46F-49E5-B719-D09C312B806D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412130$C43678E7-5FC8-4BFC-81A4-C89815443424","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$4671EBCB-99A2-41B9-AD3F-6E45ED040D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$34D62C81-E05A-40E8-B4E3-7DDAC4FEEEC6","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":"Q1412130$F860DB9F-A653-4895-B7AC-614EE1F6D31D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$25F91B26-C832-4A47-B5A2-2ECEF919697F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7497f568821b5e0695f641f138786f64fb7a28","datavalue":{"value":{"entity-type":"item","numeric-id":809621,"id":"Q809621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$3E8DD586-A26A-4609-A7A1-F92EA2DAE40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86702a2c27a2e419f342f805a15c601a0c303b4b","datavalue":{"value":{"entity-type":"item","numeric-id":1891262,"id":"Q1891262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$FCDED22B-55E1-4BD9-94C1-575D3905E849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ceab0b717f4809e259d64e0441a3b338d99be7b","datavalue":{"value":{"entity-type":"item","numeric-id":1429427,"id":"Q1429427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$B6E9646B-D095-4E06-AD2F-02302BDF299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695de875d284b62fe7e9d4a7dded2c581744347b","datavalue":{"value":{"entity-type":"item","numeric-id":5956123,"id":"Q5956123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$5B9E21FD-2F56-4CFF-B4A2-AEFE567A25D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$D651DF52-D4B1-4F9A-B636-F0A744147443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1ee918c464fe7c6c2ebcaf9cb1dfed9d3b10f4","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$5AF3BD4A-1CDB-4AAF-B512-912A386B1153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aefcbbb48c9809b0ea99532e8c981cd3b1e3ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1101259,"id":"Q1101259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$807F2000-E1AC-4B1F-AE5D-B717502C0790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5cbcd9f590bf8dc2909b7292864d5304bd5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1581854,"id":"Q1581854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412130$A2F663CD-9B5B-49A4-A328-663C1EBFB713","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faa8871f4738f0739b0aaeb832aa7aa34e9081d6","datavalue":{"value":"https://doi.org/10.1007/bf02947117","type":"string"},"datatype":"url"},"type":"statement","id":"Q1412130$41046EE2-C8C0-4875-A221-6A4876DF5346","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49847e56c2fbcba4f8fa46b27c03cd3acd0a341e","datavalue":{"value":"W2085976227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412130$8B2B58F7-415C-4C91-A282-93BEA37B76E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68aa75f112360381c249695553d3ca4602743157","datavalue":{"value":{"entity-type":"item","numeric-id":5956123,"id":"Q5956123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba406219fafa96ebbd9eda9e7fb6083afb567cc","datavalue":{"value":{"amount":"+0.7861130237579346","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":"Q1412130$FFE19378-2510-44B4-8230-E26F2F149FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6229ed6ee13a0235fa98404c346ac6cd6ce20b8b","datavalue":{"value":{"entity-type":"item","numeric-id":1193483,"id":"Q1193483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071f3d3561632862df8952c1f4f9fa942b6890af","datavalue":{"value":{"amount":"+0.7513706684112549","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":"Q1412130$8E4F1B30-091D-4757-8EEF-8C2CDC1D1960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0aab13ae0fabf888e98ac171de9d542242aaec","datavalue":{"value":{"amount":"+0.7459215521812439","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":"Q1412130$1206D782-321B-48D2-8043-81782C747E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086d14b0f72359fcfd1b85e1426d005463edad00","datavalue":{"value":{"entity-type":"item","numeric-id":3727417,"id":"Q3727417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76dcfa752a690d88a578c693e6f5ffbfb1514b35","datavalue":{"value":{"amount":"+0.744755208492279","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":"Q1412130$0FA87383-77E0-4FC8-A2C3-86F8CCEC7AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de3569d2e6f3b3616c98dcaea44ecb60d53f09a","datavalue":{"value":{"entity-type":"item","numeric-id":1369080,"id":"Q1369080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6bcfd242095470a773d15f3ce18039da23e140","datavalue":{"value":{"amount":"+0.7444693446159363","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":"Q1412130$9B1AB4B6-E0AE-4AD9-9EB1-466240E0C75D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1412130","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1412130"}}}}}