{"entities":{"Q5327362":{"pageid":7356936,"ns":120,"title":"Item:Q5327362","lastrevid":95969087,"modified":"2026-06-05T10:07:32Z","type":"item","id":"Q5327362","labels":{"en":{"language":"en","value":"A parallelized theorem prover for a logic with parallel execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196180"}},"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":"Q5327362$67A32ACD-030F-40EB-94F0-78623B054A54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4574a598273f44293d2523b4ef97dfe5d6888e57","datavalue":{"value":{"text":"A Parallelized Theorem Prover for a Logic with Parallel Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327362$0E371F2A-B3AB-4BD6-8664-F39F4DD65DB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c58f2b7886b74258864cb7356ed78f4949601323","datavalue":{"value":"1317.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327362$8D09BEC8-21D5-4BE6-9AFB-3248F7EC89EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d798eb7cbc48ebac7e8f182dcf3294993373d51","datavalue":{"value":"10.1007/978-3-642-39634-2_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327362$8919577D-AF29-404A-BC4E-90836A5EB2BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6990546117b196300946b4b96e8358dbcee60f3","datavalue":{"value":{"entity-type":"item","numeric-id":5327361,"id":"Q5327361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$66856D97-4173-4DAF-AF1B-7EFC8BCEE2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c816a025bc6f755e450b819056444c0dbde28149","datavalue":{"value":{"entity-type":"item","numeric-id":1327710,"id":"Q1327710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$570969C3-C1A9-49FA-B210-DDC2A0DE201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$87238FAE-7087-488E-8BD3-599919A0519D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$4A39EBF5-F8E8-4DE6-A83B-EACC2CB4C4F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327362$C7B0B5DB-C5C8-4454-9534-29AC0D010B12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327362$5AD75743-91F7-4399-96F9-89AB867C3E9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f2d1cc968e7536723f164e4de73b1a1f286317f","datavalue":{"value":"6196180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327362$D0180442-0EF9-438E-A1CF-DE9431D43AE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedd3323a2336895c57e697db34f5ffdfc09590c","datavalue":{"value":"parallel theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327362$54EEA44D-85AC-4C0D-BD17-F8EEEA8D3900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40fb818b6ba9bff7e84e652a592960bf12b0f911","datavalue":{"value":"parallel execution for a formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327362$EDD2E942-DE12-4F91-852F-F7D3ED5B4403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327362$825912F3-3603-434C-8511-538533A4212F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dd5926fa2c4f0ee181b086899e10f05b3e9148","datavalue":{"value":"ACL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327362$3CC64697-E6FC-4558-A3DB-6D63B696EE8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$ABE2E77A-238A-4282-AF75-FEB3221ED1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$C07540CA-A306-42EA-9A01-450381C61E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$0AC6B87E-36C1-40DD-9591-B64DE01EBF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$20D2CBFE-7E87-4780-8485-BBC684C7E22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba6550e13a376face49ca2fd7481a4fa118fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21958,"id":"Q21958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$CD4274D9-84AC-4C25-9BFD-C9EC292B6F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"227cbd526ea4eef217fd567ef0b89e17137b97b4","datavalue":{"value":{"entity-type":"item","numeric-id":21959,"id":"Q21959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327362$F810BDC7-4370-44F3-B537-C34176812AB2","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":"Q5327362$5079F1C8-A223-4011-89E0-D74ADDFDB3BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e2e1a02a0042744523a81019503cd164e508af5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327362$C22C374F-369E-4CAB-A3F2-0396946EA378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3a654d5b4377f2c7c71893c1baa9ae4951463bf","datavalue":{"value":"W86357118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327362$9B435559-DC5E-4C81-9B5E-B878E7C65FA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef987661b418b289e2924d474c61a925bb8556a0","datavalue":{"value":{"entity-type":"item","numeric-id":2843039,"id":"Q2843039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee87e91204a1b3b7c661c781e4e11134c5b128a","datavalue":{"value":{"amount":"+0.8288085460662842","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":"Q5327362$2B81087A-2AB7-4E59-AA7F-6613F00EC993","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":"e4b489cda53be6e99f0c97adbc799c82b6ea1936","datavalue":{"value":{"amount":"+0.7782383561134338","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":"Q5327362$550414D3-86CD-49B9-8668-042B1CE03C67","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":"8a5a9059518e2b9a31e2619bdcc81ed81736a500","datavalue":{"value":{"amount":"+0.776529848575592","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":"Q5327362$7B3650AE-A665-48AB-9AF7-5DFF00665600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0008672c8dde0a8e89933d97916f0e2eafa17dfa","datavalue":{"value":{"entity-type":"item","numeric-id":5327360,"id":"Q5327360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b408d8afef116f7acce6d5770ff2431d05636bb6","datavalue":{"value":{"amount":"+0.7752161622047424","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":"Q5327362$BA35709A-C138-4DC2-AF26-90D2ADE4F6BF","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":"e7f37db03f2527a93fb2b6b737591d69aace9a98","datavalue":{"value":{"amount":"+0.7720077633857727","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":"Q5327362$F2FA1D97-4393-4558-97F5-932B621ADA4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A parallelized theorem prover for a logic with parallel execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_parallelized_theorem_prover_for_a_logic_with_parallel_execution"}}}}}