{"entities":{"Q6488521":{"pageid":14067290,"ns":120,"title":"Item:Q6488521","lastrevid":103340579,"modified":"2026-06-06T07:12:00Z","type":"item","id":"Q6488521","labels":{"en":{"language":"en","value":"Partheo: A high-performance parallel theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680797"}},"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":"Q6488521$DDDE091B-A663-4C1B-9C6F-16021FAF954C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f13de3312c1cee45e276cc2c266bc55eaab905ef","datavalue":{"value":{"text":"Partheo: A high-performance parallel theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488521$88D6E9E3-090F-4A78-9133-C07B1CE71B63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36613fd3e6c726d55bd7058fc621165c5b8a19a6","datavalue":{"value":"1509.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488521$176F46B1-1A1A-4F7C-9D55-E2F2214F8E91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8cc65a7c92a5f2db4889c65ecab6b128e7fcd02","datavalue":{"value":"10.1007/3-540-52885-7_78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488521$CBA7F2F0-633D-4E7C-90A7-D4F92DCF2497","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8112127c0d8cfe8be19516662fa2ba3c423248b1","datavalue":{"value":{"entity-type":"item","numeric-id":434441,"id":"Q434441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$7F630AA5-27E4-426C-82E5-CAEA807F622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"694292681c88a12d37193501c3fe878bb7f9ca78","datavalue":{"value":{"entity-type":"item","numeric-id":877887,"id":"Q877887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$29562949-DAF4-4D78-9B0F-AE2EAD5712AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488521$68DC215A-7B85-4EC1-A130-B5E06132819C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488521$B95ADAFF-8714-4717-86F1-02EE8B7B5D02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e27b3a39264d3496e96e555e1f65888fee90e26","datavalue":{"value":"7680797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488521$F53C41EF-959C-4DC7-816A-7D19BAA4111E","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":"Q6488521$12B02141-2831-4AC8-8DB7-8A3AC906B4E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62938883e1780590c0b762bf14c5c27cf5a93bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3204066,"id":"Q3204066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$8645713F-6E31-45FD-8242-136473924E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$61D113ED-C49B-4EC7-AFB6-EEAF3D09FFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$49B83FAF-30A5-4FAE-B062-A960C6C73CF3","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":"Q6488521$CB4BCB34-32CC-45D0-8BD9-84C11A1D44E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2840089ac4965ae106b1e73040d27192e68174a","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$D7F9DA31-57BB-415A-B58F-7F30D04F34B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25adfc00b5cf3cc37aa3a53f5bd4dfe09afa87e2","datavalue":{"value":{"entity-type":"item","numeric-id":1077912,"id":"Q1077912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$4D87BAC0-D886-4F2E-8539-619F4207A122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$B54F0BFC-8266-45F9-9DD0-45DE643386DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$DB610E7F-9CC5-42E4-8CD6-7789EFB6A030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75089528348e2ee7d07dc2ae126b0ed3005ed24","datavalue":{"value":{"entity-type":"item","numeric-id":4096460,"id":"Q4096460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488521$D8A6AF33-80C8-4C0B-8C95-030A44E41785","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":"a46546297d08e60c597652bc257f65c200669867","datavalue":{"value":{"amount":"+0.8981320261955261","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":"Q6488521$7BBF6105-E3E8-4F4A-AB87-137C06DB653A","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":"69654c28d4caae8050dedde0082eec1b0917f5eb","datavalue":{"value":{"amount":"+0.8909449577331543","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":"Q6488521$BC7E3529-7491-482A-B776-8B4EC0CA5F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc0626cd3fa6a38cbe12563c26e9aa91bb99318","datavalue":{"value":{"entity-type":"item","numeric-id":4524776,"id":"Q4524776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce12c46642689ec2414734615e6cb9a2ed02a73","datavalue":{"value":{"amount":"+0.8787504434585571","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":"Q6488521$C4AFE488-6330-46ED-A6EF-5C59C4940CCC","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":"7480000c8e7fc451fbaa60ec1f1f1a357c2b9aa1","datavalue":{"value":{"amount":"+0.8762109279632568","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":"Q6488521$D59515ED-E45B-4188-BFA5-E4394DBD6995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93750ee58f6dcd6681edfe9526f18aa372d0d65d","datavalue":{"value":{"entity-type":"item","numeric-id":1284705,"id":"Q1284705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f67469fab11a2cc725b66ebf4d8fd7b0d5b7918","datavalue":{"value":{"amount":"+0.8446927666664124","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":"Q6488521$DFE5F99C-B84E-48C9-A939-FD726217DD3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partheo: A high-performance parallel theorem prover","badges":[]}}}}}