{"entities":{"Q3384170":{"pageid":3394873,"ns":120,"title":"Item:Q3384170","lastrevid":58148901,"modified":"2026-04-04T00:23:55Z","type":"item","id":"Q3384170","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445165"}},"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":"Q3384170$C116AE54-CD0F-4FB4-AE46-9A0EB72869B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5914ba3b9eefbece1d09e1f1e8caf00dcd484975","datavalue":{"value":"1483.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384170$E714DBF0-C38F-4F0D-B9A4-0A95867BF65F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d26a6d42055360a4e3597c193110b77101cdab25","datavalue":{"value":{"entity-type":"item","numeric-id":518744,"id":"Q518744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$2EEA58CA-E38A-41E7-9063-95EADAE30052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$110EAEE9-6269-46AC-9099-5D70665094A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384170$30039461-D86F-4A6A-A110-81B349C92D5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5d33af7022f72993ae71eb6dd1e2d936c5753c2","datavalue":{"value":"https://arxiv.org/abs/1709.02101","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384170$CDC843DF-474B-4D41-8D78-3212DE4C695B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4388dab4d7603335a8a81f3ec417847aacdff55f","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384170$AD6E1FB3-C2F3-45FA-B606-E12535F4FD85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384170$D76CB561-11FE-473E-A57D-BB434871100F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384170$C31C74DF-8E15-4249-8EF6-B955CD12775E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a593707f314b3684bce1178278a0fe3fb961e9b","datavalue":{"value":"7445165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384170$5ADEE148-D6CF-49F9-B537-527655ED4A1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ca8906b060962d33b92f5dcd928a04a7cd17c5","datavalue":{"value":"one-pass tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384170$6F270A4F-CBB5-4C50-B405-CE3C4B15E80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44fac2abe78ae44f6c642045e37d45dc6bccca62","datavalue":{"value":"cloud computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384170$89AAADAC-F3FA-4631-A768-0C8B2C1F096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431ad0527b194c43bf7b26fc7f3a3705c49e72a4","datavalue":{"value":"parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384170$304F279F-E2E9-46A1-8245-BB105A4B10CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384170$7E3ABA77-D7F2-4439-899E-7DF5E01B5DF2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7168463aa5132ed8486461189f7d9e20004f30a","datavalue":{"value":{"entity-type":"item","numeric-id":5975007,"id":"Q5975007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$F29F37DB-34F9-4AB4-9129-3416798D885A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"351376af9337c9358d4b7714d8543cf671d9a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$9A957E2F-C2E4-4FBA-B497-A96FD1D5A521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9146ac7750bda147de95fb5c0d90552963c2294","datavalue":{"value":{"entity-type":"item","numeric-id":53349,"id":"Q53349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$E953F095-4E72-44E7-A299-73F9EDEED813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf68a6702b338975884bd22e52257b39bf3bcfd2","datavalue":{"value":{"entity-type":"item","numeric-id":5972345,"id":"Q5972345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$BC096B5C-1371-45E4-B3F8-707147392D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3475c3a3767ecccf397c0e953871eea19487b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5975115,"id":"Q5975115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$68C80D0F-4635-4776-8BB2-5FB5C5644B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$72AD9FC1-4081-4C6D-A148-115B5F27F605","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":"Q3384170$927235C2-5F6D-4D21-8A32-8840A3769CBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$57E36F5B-FC57-4A85-8EEA-5540DF8BD8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b32a632ba6e790dcebfa25a2fc0165612832b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4855364,"id":"Q4855364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$B2D742FD-1CB3-44F5-ADAC-2E48FCAD2726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118e5e2b2fdb9187f08f43d87ad5abc140fe01f8","datavalue":{"value":{"entity-type":"item","numeric-id":5747771,"id":"Q5747771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$546E651C-6F27-4C02-BC41-D209D4246C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d2def958584e07f26fb316398973469263c839","datavalue":{"value":{"entity-type":"item","numeric-id":4645753,"id":"Q4645753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$EBC88A32-0633-41F9-A5CB-00A505561F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5f3cd0c0fdd70d2eae3e5f69e2ee0aa687d8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5716540,"id":"Q5716540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$B67AFDD5-4BB2-4788-9E74-D491EEE53A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03458cb76c813e714789d14b2f34159b9785fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5283016,"id":"Q5283016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$6898B2A9-44EC-4414-9C3A-2832B7F0F2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeac006cacb30935748aa9b11e013f93004c6617","datavalue":{"value":{"entity-type":"item","numeric-id":518745,"id":"Q518745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$AC008C2C-E40A-4A31-BAB0-D3373400A9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8cfdbc22557797a690d3e9371c8b6a91325609","datavalue":{"value":{"entity-type":"item","numeric-id":5015285,"id":"Q5015285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$377C2B53-E55C-468B-87DE-F803E1CE3C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$A49BA07C-A599-42EC-A44D-8CD1DA14D527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366c228a0fa7b9eba8d6d2c839cc7bcc36a26709","datavalue":{"value":{"entity-type":"item","numeric-id":2908524,"id":"Q2908524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384170$4095B8D2-CAA6-4603-8425-26F6275FB14C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b4d444d72870639f2e26d67de9f91668568954","datavalue":{"value":{"entity-type":"item","numeric-id":2863170,"id":"Q2863170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2462e70c98d5e400c1c2f2c85f33cdc74d182a0a","datavalue":{"value":{"amount":"+0.9291285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3384170$9FFD3D5D-A65A-4EA8-8114-1521F64C82F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abea9dddd9752f0f29a15676b0ef510b84f403ac","datavalue":{"value":{"entity-type":"item","numeric-id":1130239,"id":"Q1130239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6530ea6632e07a0a719f7d55eba90e7487758d6","datavalue":{"value":{"amount":"+0.9240136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3384170$8E4C0DD1-DE0D-4AA2-AD5A-BA0C8142CC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598b93fedfab5914b4f006e71e819687fed1d842","datavalue":{"value":{"entity-type":"item","numeric-id":2669249,"id":"Q2669249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f2828d63058a7c49e1e9ee61c1a228733d77cb","datavalue":{"value":{"amount":"+0.9140909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3384170$BBEE5BEB-AB6C-4FAF-9761-A936D787E132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da04b55102eff907f69b7fdbb3a3891ad27cbda","datavalue":{"value":{"entity-type":"item","numeric-id":3789040,"id":"Q3789040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c11cf5a26824f52fb687f68d9ae0c404e999c7","datavalue":{"value":{"amount":"+0.9132025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3384170$9B7BD2D5-7EBB-4C38-A831-64958A712AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cce3de0989a7cb3d96e085e2b47481c4b37f62","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca768dde1592a5170f3f88a359842f7a4fee66d2","datavalue":{"value":{"amount":"+0.90695375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3384170$E4D67517-B14F-486D-B2DA-C6ED2015A2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdc27231866f9b381c5da54c0b4bd82a67575d7","datavalue":{"value":{"amount":"+0.8913106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3384170$13A2D445-9565-4AEC-9405-D1CAB3969139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10149d4164cf510069e243dd4bd1b82a4d0880a3","datavalue":{"value":{"entity-type":"item","numeric-id":5311419,"id":"Q5311419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce41db7c71a8a6a9854b684c39e4ae36b2f0064b","datavalue":{"value":{"amount":"+0.89001656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3384170$07732759-4A26-4F5A-92AF-D2742D24A7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b334be2cef79432c277cb66336f6ae8ed8247a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4251979,"id":"Q4251979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2203e383fc68ea39eed4de03ed0a25963ee64ef2","datavalue":{"value":{"amount":"+0.8888075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3384170$9B7839D5-BE1E-40F1-A38D-3502E2AF69A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b366b253e59f3323bf74677acc4479fbeb27fa80","datavalue":{"value":{"amount":"+0.8884142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3384170$98B8EF2B-5ED7-44F4-819A-28A68CC809EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384170"}}}}}