{"entities":{"Q1429427":{"pageid":1440167,"ns":120,"title":"Item:Q1429427","lastrevid":48271831,"modified":"2026-01-04T04:42:33Z","type":"item","id":"Q1429427","labels":{"en":{"language":"en","value":"\\(\\mathcal I\\)-SATCHMORE: An improvement of \\(\\mathcal A\\)-SATCHMORE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2066285"}},"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":"Q1429427$4C7A02BB-5286-43CF-BCD6-0D7C161530D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0a69c4429bcdcd2e925ca00c7b2036140b2089c","datavalue":{"value":{"text":"\\(\\mathcal I\\)-SATCHMORE: An improvement of \\(\\mathcal A\\)-SATCHMORE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1429427$2C6F5D73-5C62-4BC3-A37F-78704BD35EBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06c1bf9eb667e013da16bb7361d19a19918d20a3","datavalue":{"value":"1089.68625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429427$32194BD1-E5C1-4EEA-B01F-F6123613F795","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f354cd7bdd9e0ce4e96eb17aa52d6691f504589","datavalue":{"value":"10.1007/BF02948883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429427$F819DEB5-3989-41E3-8ED8-082904F67D91","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":"Q1429427$D1FC128A-B29F-4883-B332-C6B46FD16EAC","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":"Q1429427$1136F444-0A9C-46D2-9791-5CFFA3E48D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af06749a5e05ec7472237418e12f34478e67dcaf","datavalue":{"value":{"entity-type":"item","numeric-id":841082,"id":"Q841082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429427$44FDB2FA-A497-4BB3-B1BB-6D94AB2EB621","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":"Q1429427$8625A4A4-0948-4C56-89CC-508E7509976D","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":"Q1429427$A5040040-BAD4-48CD-ADB1-118C8FAF203B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f2c658547352f67a9de92adfcc83c5224bfe428","datavalue":{"value":{"time":"+2004-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1429427$CC176474-78F3-41E1-8D80-47C89E9E6433","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429427$106FE2A3-E150-4F32-AD09-2640C056B1FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28d9b6a2b064dbccfc056c25d43bcf820a963f2a","datavalue":{"value":"2066285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429427$B1E6D8B0-5A19-40F0-96F6-79D23C81D21C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429427$0B4043F4-30DC-43FF-BBEA-A492190F2614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1c3771540c73cb744df719df4b2346e55da8cc","datavalue":{"value":"availability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429427$F34EE9D7-94B4-4232-A52E-813BFB223B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b4483046a3e548ec7ee03403f325d0ac07748fd","datavalue":{"value":"forward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429427$0FABA58E-1C15-4B3F-A0FD-2F50815A0A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3bb39d37e16b62d669640c62bb7ec3ec900326d","datavalue":{"value":"SATCHMO","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429427$BD50779E-B397-4BC0-91BB-8EC113BA1D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd5def95958ba62c8e416fe2a32ebfed1f80b084","datavalue":{"value":"SATCHMORE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429427$D55C04D0-C50F-400F-80E5-79B537C74DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39343c1de76a4eb72f6476a05e46f44ef6b9a9bc","datavalue":{"value":"\\(\\mathcal A\\)-SATCHMORE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429427$9E1022EC-65C6-41B4-9B89-FFC453DA8D04","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":"Q1429427$E1FA93C6-AFB0-48C9-83B2-1A819A9EE202","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":"Q1429427$C60FCB07-0636-41D7-B26A-EEA3F51F3087","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":"Q1429427$5AF355C4-BD32-401A-8B4F-DE51B195BFBF","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":"Q1429427$9A1671A5-6ADB-4197-BF19-D9947A10F702","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":"Q1429427$8D19B422-53A4-4F51-8DCC-9DE8D5E01FB0","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":"Q1429427$F2FA0AAB-E5B0-4AE3-9495-FA1B0C4B66D8","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":"Q1429427$58042D32-865E-40FA-9109-88A6FE1C5CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb8416bc0653d079195d14460f2a516ad7640a6","datavalue":{"value":{"entity-type":"item","numeric-id":1344881,"id":"Q1344881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429427$57E3BC6B-4CD5-4142-8897-0E2E05049876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161801eccdd864ac46fd87dff57df8b33357bd24","datavalue":{"value":{"entity-type":"item","numeric-id":753478,"id":"Q753478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429427$0662DF28-D1FF-41E4-BDC6-7202AE2E63E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429427$297B310C-BE75-456E-BC94-B3E39F3E4906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429427$0A9346AE-88A5-41D8-B0D7-CFB6470AD6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429427$A9560BD9-FD0E-49AC-9CC7-3B3F20049633","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":"Q1429427$096BA9B2-0FA1-4028-8972-56F6FEF93F07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b91ce0bf29edb0aa8e24bd0c6fc29a88be43893c","datavalue":{"value":"https://doi.org/10.1007/bf02948883","type":"string"},"datatype":"url"},"type":"statement","id":"Q1429427$78C2F3C5-ECF4-437D-B1B2-B276208CAECE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66c5bd43662e75a78a4beba28720989aa49c6acf","datavalue":{"value":"W1994501213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429427$9C5208DA-EEAB-4DF7-B3BD-1AABF95C5F89","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":"b522639fc962b13b83902c245b2e15668063a6a4","datavalue":{"value":{"amount":"+0.7889066338539124","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":"Q1429427$7DFA1EB8-0DCF-4C2D-B6B8-0AB82FF07C83","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":"7dcd3bbc6b6e30e27ce278908993f83489535b55","datavalue":{"value":{"amount":"+0.7812246084213257","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":"Q1429427$87BDE0B8-589C-418F-9193-6DB071C8BF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf7a424565637496a3ff24ad05ccd6860191f87","datavalue":{"value":{"entity-type":"item","numeric-id":4820462,"id":"Q4820462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34a02be45d6110328ae92abb654c98ed30b8434","datavalue":{"value":{"amount":"+0.7387986779212952","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":"Q1429427$3C456937-EC0E-4313-8DA4-D4A3B101C51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e8801dfb37ee2bcbbb7f0758599380af805cfc","datavalue":{"value":{"entity-type":"item","numeric-id":4249902,"id":"Q4249902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc2557d01dc8d069346876642a72f3c2f7dd758","datavalue":{"value":{"amount":"+0.6908936500549316","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":"Q1429427$C9FE2247-331E-4310-999B-42E6E315A3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add27fd8cb6ed5cb88ea5e85e8e1948601f49286","datavalue":{"value":{"entity-type":"item","numeric-id":1412130,"id":"Q1412130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c3cf0113882f2f576ba2c888876b98141ed989","datavalue":{"value":{"amount":"+0.666482150554657","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":"Q1429427$6BABD3F8-CE2C-45AB-AFD0-726CEABEC700","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1429427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1429427"}}}}}