{"entities":{"Q6488520":{"pageid":14067289,"ns":120,"title":"Item:Q6488520","lastrevid":103340561,"modified":"2026-06-06T07:12:00Z","type":"item","id":"Q6488520","labels":{"en":{"language":"en","value":"Parallelizing the closure computation in automated deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680796"}},"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":"Q6488520$A85D560F-B98A-4A1F-A864-03D14176D228","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16e4ad3e7e666f962ee627321eb1a66330ac5f43","datavalue":{"value":{"text":"Parallelizing the closure computation in automated deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488520$7AF4DCBA-D078-4CBA-864D-7D78278F4087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e563ab1a44421b6016d27090574d3eab959f6e9","datavalue":{"value":"1509.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488520$E9096185-6E46-4C1A-A87A-2AA672C95D58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2177d0f83c23ba6c53841ae432668ca6fce7acfc","datavalue":{"value":"10.1007/3-540-52885-7_77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488520$D381F834-21DB-43AB-86AB-C97112FB6A87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488520$7019E9B9-4881-4C61-BE38-BD150BBA1024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f961804fcabd02be29d669054528468c74d17e25","datavalue":{"value":{"entity-type":"item","numeric-id":1224804,"id":"Q1224804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488520$3BAA8DA4-935B-4E70-B2A8-4F020080F639","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":"Q6488520$828AAE00-D0A5-4EE7-9CED-32009C00F0F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488520$E52C9B64-A21B-4EF7-BDBC-318F0AF2A9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488520$3F6D312D-A7F7-4A3C-947A-0DC91D2E4213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27c2a3b4267ce88ff25bedab139b3686e5be8bb6","datavalue":{"value":"7680796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488520$2C4FDD33-CB38-467C-8604-3FEA17906340","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":"Q6488520$B02C5B2B-C5DE-4009-899E-09459B7B233D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488520$34C6BC15-53B8-4797-A5A7-A1C7B59AA42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639a5003e4b8281fca4e254193fbecdaeb153e01","datavalue":{"value":{"entity-type":"item","numeric-id":1095680,"id":"Q1095680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488520$15CB09C9-7213-4F07-89A2-365983E3020E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf3efe18421b1fd5301ffe7ee2fb772bd031e98","datavalue":{"value":{"entity-type":"item","numeric-id":1092033,"id":"Q1092033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488520$1DEB73E2-F9F9-48FA-A80C-2187EC7B0637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bad02d802f98c584b905e9a5a5f372d341f4de8","datavalue":{"value":{"entity-type":"item","numeric-id":3695256,"id":"Q3695256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488520$40EFB3B2-1897-4A56-9A4A-79D3BD9FF4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83762a6aabbc0eac81e7de98bddd07b2367855a","datavalue":{"value":{"entity-type":"item","numeric-id":1119633,"id":"Q1119633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488520$C24C814A-DBF0-4BE4-96EE-FE6A3ED2E44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a3566a3b50087a292bbca7392c13bf0943f74b","datavalue":{"value":{"entity-type":"item","numeric-id":1181706,"id":"Q1181706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488520$2009B272-6DD6-4000-84AA-476336F1BB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488520$1EE59D16-9870-401A-9D09-1D1DEA381909","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4251f4632b0061a57ae0c9969284cb2096776e9b","datavalue":{"value":{"entity-type":"item","numeric-id":3977578,"id":"Q3977578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aea4961b36fca583fbc8e31f7270684847bb662","datavalue":{"value":{"amount":"+0.80952388048172","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":"Q6488520$A5FFD9B3-8CD5-4474-87D5-0ED430DF79DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a133918abefeb2e805d7be5a0d363e2be9278f6","datavalue":{"value":{"entity-type":"item","numeric-id":1907790,"id":"Q1907790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aea4961b36fca583fbc8e31f7270684847bb662","datavalue":{"value":{"amount":"+0.80952388048172","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":"Q6488520$3E10010C-E944-4F71-85A5-7C0F1C34B684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68072f05bd2454b36f2a8d785739b9c3c9687853","datavalue":{"value":{"entity-type":"item","numeric-id":4234323,"id":"Q4234323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed64454cbd6a7856011476a857349bc04d56114","datavalue":{"value":{"amount":"+0.7467225790023804","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":"Q6488520$AD4A2048-515A-45E6-8543-6FEEFBFF6864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56e2c40056686fcc4704a4bb6230ee1dbe4434c","datavalue":{"value":{"entity-type":"item","numeric-id":3641335,"id":"Q3641335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a077a65a48df5fb689d7d2b1de6f8f481aac16d","datavalue":{"value":{"amount":"+0.7447836399078369","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":"Q6488520$E6429D8E-5E24-492A-913A-5CA4B4F4F855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d302a85b0a59cd82d2a317b1eda44e663c276b3f","datavalue":{"value":{"entity-type":"item","numeric-id":1386764,"id":"Q1386764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861a03951702a3e2d1f440914c311f74eb25f28b","datavalue":{"value":{"amount":"+0.7417010068893433","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":"Q6488520$6F5FC52B-2B5A-4B02-81B4-203EB2504EAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parallelizing the closure computation in automated deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parallelizing_the_closure_computation_in_automated_deduction"}}}}}