{"entities":{"Q4823345":{"pageid":6852925,"ns":120,"title":"Item:Q4823345","lastrevid":74961060,"modified":"2026-04-15T01:27:10Z","type":"item","id":"Q4823345","labels":{"en":{"language":"en","value":"Exploiting parallelism: highly competitive semantic tree theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2110859"}},"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":"Q4823345$DB8E576B-50A3-4888-915A-4EA8B806528F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"339fbc6435d443a6408b41a2d7145a740bada48b","datavalue":{"value":{"text":"Exploiting parallelism: highly competitive semantic tree theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4823345$062704FA-B90F-49B2-83AF-EBF337772491","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54570617b9ecd351205ccb6d9178b3e6f102e5f7","datavalue":{"value":"1082.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823345$926F9355-27B2-4175-A9BA-C80D5597CBB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"204bd12bab3cd8a741f64bfa2af92bfc2793c2e9","datavalue":{"value":"10.1080/03057920412331272207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823345$0DD05EE5-DAC5-4FAC-A43D-9D16A10CC721","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94cf90d3a46cbc3c876ed6906ee3c3c0ef7ce596","datavalue":{"value":{"entity-type":"item","numeric-id":4823344,"id":"Q4823344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$DA7C7245-C252-438B-89D5-30211ABED583","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$E403E4D0-CB39-4655-AD20-EA0B68F01EF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7e0e3052327d95a916620b2fc1dace533c4c66d","datavalue":{"value":{"time":"+2004-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823345$98B1968D-E984-48FD-922B-FC9977F0B89C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823345$37660705-4B22-4E9A-B786-93B8BB91AF94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a09e6ea69babe682fd0b23db088e003b4a3c57d1","datavalue":{"value":"2110859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823345$CA2480BC-9708-4D34-9453-17DF985C758A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3b5ddb4818ec81bb9bea3bab4852742bff1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$6B75C11E-DC0D-4268-B7E8-52037836B4F9","rank":"normal"},{"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":"Q4823345$D12B03F9-A21F-4C13-88B0-40CC10CFC595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$9E3588CF-4378-433C-A3F9-754D6DE3CB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fad6a8382d1b81e444a46360f9a7cef8b31287f1","datavalue":{"value":{"entity-type":"item","numeric-id":33352,"id":"Q33352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$EE34F1C4-D3C2-46FD-A2EF-C0410DBB94AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56163c3fafffef15013cdcf3d9c19690f6925c4e","datavalue":{"value":{"entity-type":"item","numeric-id":37168,"id":"Q37168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$1F4999BD-E548-48D3-9749-1D04694FECA2","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":"Q4823345$01AC65FF-F095-415B-B14C-C1289D17967F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ebb51580e246be0d67945196761532bb1914b2b","datavalue":{"value":"https://doi.org/10.1080/03057920412331272207","type":"string"},"datatype":"url"},"type":"statement","id":"Q4823345$4F7C31C7-D0A2-456D-A92A-1B256796926F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3427fe6467208e6afdd54970613221c7549bb47b","datavalue":{"value":"W2019170811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823345$90F4AC84-F3B0-44AE-B5F4-041173F13539","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5371ed448e81273238864e5a512d181e213a58","datavalue":{"value":{"entity-type":"item","numeric-id":2710799,"id":"Q2710799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$82DD15E7-2AA8-4F51-98BE-3576DAA797C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e0ec301a2daa50bbddaee495d81db74f852f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5613968,"id":"Q5613968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$DF1C0218-C28C-4069-8E61-69D07A7490A8","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":"Q4823345$34CAE178-4DAB-4FEF-8CBA-31DB59CC16E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bee1ebc088d1143777ea9b92f18a7a03faa01fb","datavalue":{"value":{"entity-type":"item","numeric-id":2701741,"id":"Q2701741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$5537ECB6-6955-45CE-B107-529522C93C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$0B4E65AB-78E2-4422-BDBE-0016376318B5","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":"Q4823345$97226575-E3A8-4B45-9E74-F389B0141284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d8b545026a2b0b45fde53b7c12c01a6b3987c9","datavalue":{"value":{"entity-type":"item","numeric-id":1277339,"id":"Q1277339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$0DB1B6D2-8506-4CF6-A9C8-9D53BDCD1497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823345$F0A5148D-8052-4731-9387-D6C72089F0A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a971cb69f3ee325b28cb4cd3052ed1093d23738","datavalue":{"value":{"entity-type":"item","numeric-id":1189725,"id":"Q1189725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac67cfeef17f54f971eb337e139fcd19dfa9c58b","datavalue":{"value":{"amount":"+0.7858062982559204","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":"Q4823345$D6A74B2F-2904-4623-9B93-80BB71C17258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dbf6de875b2deecc322a14efb9e5b03609ece","datavalue":{"value":{"entity-type":"item","numeric-id":3204066,"id":"Q3204066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263b2dcce88fd8e10b78c10eed68e0bde7b8bb23","datavalue":{"value":{"amount":"+0.7816094756126404","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":"Q4823345$7D7E9A8D-49EB-4E01-A091-210FC3829FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75b0de3eaf6679dda011cd141a8b7574811f0db","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02199669b84e16ccb63c2d18c46caff474d639b","datavalue":{"value":{"amount":"+0.7677064538002014","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":"Q4823345$F3EA1570-6038-49C7-A602-3789F8AF28CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5452761231c2caba105093a20bdaac2c46a26bcb","datavalue":{"value":{"entity-type":"item","numeric-id":1277339,"id":"Q1277339"},"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":"Q4823345$7490A73F-CC41-4C01-B122-13FDCCB7D929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875cc4f73fb74be10087e96ba425671d4de768ef","datavalue":{"value":{"entity-type":"item","numeric-id":1595925,"id":"Q1595925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae821e0bceab0f4b6f9c189e3a55769cf3284c5","datavalue":{"value":{"amount":"+0.7580969929695129","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":"Q4823345$04ED6E41-FE7E-49DA-9636-6AD2C2A91218","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploiting parallelism: highly competitive semantic tree theorem prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploiting_parallelism:_highly_competitive_semantic_tree_theorem_prover"}}}}}