{"entities":{"Q4820462":{"pageid":6850042,"ns":120,"title":"Item:Q4820462","lastrevid":74751129,"modified":"2026-04-15T00:10:09Z","type":"item","id":"Q4820462","labels":{"en":{"language":"en","value":"R-SATCHMO: Refinements on I-SATCHMO"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2108052"}},"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":"Q4820462$63167E21-517E-4B39-A6E5-16A0191C7759","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18af31e724f80187a2a49d034edee577b12385d7","datavalue":{"value":{"text":"R-SATCHMO: Refinements on I-SATCHMO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4820462$7EED974C-F71F-4405-BB12-D73F3BD37B7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"692a2cd58971a6faf46864567226121780d3ea7b","datavalue":{"value":"1104.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820462$89FA0852-CEE8-4404-B400-2CA27E606BDA","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":"Q4820462$CC85313B-AECF-4696-A4CE-1A1F3610C46A","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":"Q4820462$D6F2196C-2ADE-440F-BECD-1A81A0C7107F","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":"Q4820462$7D4C487A-6A28-48E6-8624-532BBC96396B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d89478774456ded62a19904fc3ea510aad4b87","datavalue":{"value":{"time":"+2004-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4820462$6353308A-8A11-46C5-84CF-382D4FFFAAA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820462$9CEE0BF0-B9F6-4576-8304-22A4F1377E7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf655b2f32810296f0ebc0e8b7a05339f7f23ced","datavalue":{"value":"2108052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820462$AEE2651C-16CA-47E5-BAA7-5C68861FDE93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820462$2CEA94F8-E0B9-4289-9A13-38E93C370301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b4483046a3e548ec7ee03403f325d0ac07748fd","datavalue":{"value":"forward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820462$1FEEC389-C912-4D9D-B2A0-3012E0FBB719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820462$09438897-2355-47C3-9BE5-A7645190F348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820462$E225ACBB-C392-40E7-B41E-7ADDFCC9B953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea4f2bb8c26d142d727eb989fb9d5df45cf45978","datavalue":{"value":"backjumping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820462$D592AD3B-BA11-4701-9D97-8E71ACCA75F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c56184de2bde777f93154584b01db6c2eacf0cc3","datavalue":{"value":"nogood reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820462$EBAE5AD5-6264-491E-A74D-BFDEDEF5188D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64ae165f1f6493ca38a4a7a27b62e7f9cf2eb936","datavalue":{"value":{"entity-type":"item","numeric-id":18711,"id":"Q18711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820462$E0BAD9F0-4F13-4E72-AFBA-CEB7FC1FF7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70e971a1c59d55653c82d2c83faaf226c7edd0a2","datavalue":{"value":{"entity-type":"item","numeric-id":18710,"id":"Q18710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820462$4CAF5E57-3464-4DC4-B5F8-6C28ABEF24F5","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":"Q4820462$401D0B95-4E97-4435-AD95-A414B9A7DE37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7c187de86adcbccc842043bb31e6be34dbb56e5","datavalue":{"value":"https://doi.org/10.1093/logcom/14.2.117","type":"string"},"datatype":"url"},"type":"statement","id":"Q4820462$7507B443-E468-4F33-9975-0571EB95246A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6ff902ea37b7ebf7fe7b77b97ebb421a6393b0a","datavalue":{"value":"W2038399467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820462$BCCEA082-B434-492A-BB40-709FE40D2960","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7fbabbcb3152ab37ffdfbb37d83044b7f995d90","datavalue":{"value":"10.1093/LOGCOM/14.2.117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820462$1703966F-70C7-45E1-811F-8DC69D38C517","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820462$C8ECA210-F0EF-4281-84DC-FD6C3389DC48","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":"580e1c90970d52d1c33220182fc7dc556510d773","datavalue":{"value":{"amount":"+0.8717500567436218","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":"Q4820462$C26A88C9-1F29-492D-AC99-E9E48913B08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0a3b22182ae3ea9fb896395ce3a2f20003da5b","datavalue":{"value":{"entity-type":"item","numeric-id":4708193,"id":"Q4708193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f73dfaf210208aaa151c31e6ec7029a3f583a4","datavalue":{"value":{"amount":"+0.7654786109924316","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":"Q4820462$6F42B8B3-6FE1-4A78-A8F1-A6B08123FB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f635a2f4785fa00b47bf0d4008bd0fa64f7d199","datavalue":{"value":{"entity-type":"item","numeric-id":4647539,"id":"Q4647539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfc01f85bcaaa787f8db2987a4476bedbb4249d","datavalue":{"value":{"amount":"+0.7614332437515259","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":"Q4820462$18BD4AD7-EEB8-42F2-9E30-061E2E92B194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493d4c8b39e23be6bc5d624b72385d552550d9a6","datavalue":{"value":{"entity-type":"item","numeric-id":1877374,"id":"Q1877374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f478541f3dac144b5a1784e34117b23040e154","datavalue":{"value":{"amount":"+0.7567633986473083","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":"Q4820462$F26264AF-9DE0-437A-BB7D-E6AEDF6423C7","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":"92c9cd8b9967182f882694caee3c467ba1b1b839","datavalue":{"value":{"amount":"+0.7455332279205322","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":"Q4820462$A92A69B6-D686-40D4-A057-956E43DB7DBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"R-SATCHMO: Refinements on I-SATCHMO","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/R-SATCHMO:_Refinements_on_I-SATCHMO"}}}}}