{"entities":{"Q1601867":{"pageid":1612607,"ns":120,"title":"Item:Q1601867","lastrevid":67960518,"modified":"2026-04-12T20:29:47Z","type":"item","id":"Q1601867","labels":{"en":{"language":"en","value":"A taxonomy of parallel strategies for deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1761181"}},"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":"Q1601867$97B4DBA5-35FF-44CD-A1D2-2B6B4BCB4CAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49fd97867fed3d5d258f0606a7cd6f3cf4aa9a8d","datavalue":{"value":{"text":"A taxonomy of parallel strategies for deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601867$86CD3F57-4563-4609-A752-0B573A41A26A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9155941631595f85e6aa768570ee591d74877cd6","datavalue":{"value":"1001.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601867$FA782372-374A-4E20-AAA4-615550A43DE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26ed0419368abe97d5570ec99333650ca62cf504","datavalue":{"value":"10.1023/A:1018932114059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601867$C5792CBF-7477-42AC-8F16-8F8FE776E945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601867$15158DF7-675C-49DA-8565-11E7E73A52BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601867$F5801E82-294D-42A7-89F7-E80C5D028EEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6aa0b5839eb2d6e7fb371f8a4ca03238e6998f63","datavalue":{"value":{"time":"+2002-06-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":"Q1601867$6E013672-3E4F-4D5E-BD0C-53F8C631DD08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601867$06ABD157-F50E-4025-B78D-BE4AE36007B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601867$DBCF1779-1D90-4AEA-A4ED-143D77F4F997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601867$5CFD98ED-0F4B-47AE-A801-B5C735A32A0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"115e0668f091611607774fcd7485d7a4e3f0afe4","datavalue":{"value":"1761181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601867$F7590BDB-AA0E-444B-91ED-DB5B6D3A64D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0558837b26bc8a1f9f0fbf711c16896ee4d79b","datavalue":{"value":"taxonomy of parallel theorem-proving methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601867$FCD6525B-EE46-423A-90F3-B228C975D833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a302ada2e061b703b304a703fc7e81db5a7348b","datavalue":{"value":"parallel-search methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601867$B50A9AC1-84B4-4689-8610-FCEF4B55D4CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601867$B7492A76-2BA1-416E-95FB-6F75AB10F133","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":"Q1601867$B8D9AFF6-3809-44B0-9FF4-6A00C97CBBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"777f85a0a040febfffc982e865f29a54b701da97","datavalue":{"value":{"entity-type":"item","numeric-id":24406,"id":"Q24406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601867$4D65987B-B3F7-4AB5-BC6C-07F439B4A285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601867$2F20B8E9-BFA8-4F89-A32A-40434F877F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601867$2839F849-799C-48AA-999A-B10C086ED9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601867$6386D6C8-17FC-41E4-82F8-AE5C28930E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d692673f617481b2d4b5ce1d6ba76dfe8c4c054","datavalue":{"value":{"entity-type":"item","numeric-id":25223,"id":"Q25223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601867$29A84181-85B5-4736-B117-47A4FB1265CC","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":"Q1601867$E4A698A7-495B-441E-9737-21D066CEAEFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c2de4f1506a6a877e862500ed9edd7eef483e8a","datavalue":{"value":"https://doi.org/10.1023/a:1018932114059","type":"string"},"datatype":"url"},"type":"statement","id":"Q1601867$4372F8DF-B829-4829-A6B2-4E9D5B4E0AAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe5d7cdf62f7704858b09e01569fabd5345aa7f3","datavalue":{"value":"W1494270745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601867$DE9E42DC-3C48-4840-B4A1-16FA06B4FE1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e4a459cd681602bde32370332d18516e07d6b4","datavalue":{"value":{"entity-type":"item","numeric-id":4227007,"id":"Q4227007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c42a8832365ca3646c3e910b7e00f8968f1047","datavalue":{"value":{"amount":"+0.8219650983810425","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":"Q1601867$DA8208F9-46FE-4D98-AB03-D7AC6398A380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7d4a5f397cd0588c895ddc029955642c41edbd","datavalue":{"value":{"entity-type":"item","numeric-id":4246963,"id":"Q4246963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c9195411dd0774d2baba51db2000597c6e8da6","datavalue":{"value":{"amount":"+0.8109578490257263","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":"Q1601867$4366EE8C-E941-4835-86BD-4363AECDD6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e5c4de3682dd0d7ed6433442c7ef8e31d27133","datavalue":{"value":{"entity-type":"item","numeric-id":3783626,"id":"Q3783626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c9195411dd0774d2baba51db2000597c6e8da6","datavalue":{"value":{"amount":"+0.8109578490257263","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":"Q1601867$164CBE00-E51B-44BF-AA05-0BB0E6B3529C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93ae142d165f90d61d468b1b58b365ef92147b","datavalue":{"value":{"entity-type":"item","numeric-id":1978033,"id":"Q1978033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d779918f9ba2144e5ca0dadcdadd8a8b2b917a6","datavalue":{"value":{"amount":"+0.8060619235038757","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":"Q1601867$872635B2-D323-4952-9AF8-79C0DC8DBDC9","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":"76c3ecaee19a64fd99d9eff7b34fbe45ecffc8d1","datavalue":{"value":{"amount":"+0.7911257147789001","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":"Q1601867$5E84C46B-18E6-4347-ACF9-B408AD78764A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A taxonomy of parallel strategies for deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_taxonomy_of_parallel_strategies_for_deduction"}}}}}