{"entities":{"Q5000450":{"pageid":7030027,"ns":120,"title":"Item:Q5000450","lastrevid":40888507,"modified":"2025-04-13T19:30:15Z","type":"item","id":"Q5000450","labels":{"en":{"language":"en","value":"Automated Verification of Concurrent Search Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7371171"}},"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":"Q5000450$D14D32CB-27E0-4F46-B939-619E20D443BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18b6fe401a3ca632991fa03df8deb53cb6196e8e","datavalue":{"value":{"text":"Automated Verification of Concurrent Search Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5000450$3D9ECC3C-4088-458D-AAAC-B0A1F32AE251","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"346c6d10db961af9efc0d6b57fe290df43b0f295","datavalue":{"value":"1473.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000450$819874F9-3DCD-4815-A2F7-B28661E29BC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"675d3702b396c7e828ae5d977b4d78ddccd1b85f","datavalue":{"value":"10.2200/S01089ED1V01Y202104CSL013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000450$A65F7FF0-F494-4003-AEDB-DF055B82F6ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20e0932111d364cf334454e830b7e5d1be9b8c0","datavalue":{"value":{"entity-type":"item","numeric-id":407516,"id":"Q407516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000450$47BB83E9-9614-4813-B2C0-1ED2FBFFCF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9595bd7649576ee6186a3a3f4d1326cb1d8dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5000449,"id":"Q5000449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000450$ED0B422A-D891-433B-95B3-436280BD7B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"376e8025bee4ddda1ce3474d3e3cdeeffcad5d3b","datavalue":{"value":{"entity-type":"item","numeric-id":686640,"id":"Q686640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000450$FFB1C5D9-6055-41D1-94ED-E4C5F3FB0DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6149158a5043f35da69d3f3a654f45af834eb489","datavalue":{"value":{"entity-type":"item","numeric-id":286733,"id":"Q286733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000450$B74F7367-3203-498F-B10C-20545F45F1BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62b7ead77421aedf024d5d8a258f01a19c427da9","datavalue":{"value":{"entity-type":"item","numeric-id":2843867,"id":"Q2843867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000450$E0D4D1EF-4012-42D6-803C-2946BCA696BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a937085105620cd0153738a4f20d2e8795b9905","datavalue":{"value":{"time":"+2021-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5000450$D15679FC-3458-4184-A1FE-8E1423158A73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000450$8399B3F7-680B-4837-96A2-8A86B1D2CC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000450$09D6AD08-AFA7-4612-966A-A092DEF9DB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000450$B6B2BA3F-1299-4CBA-9487-0265774AA72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000450$428C2DC8-BDE0-4B37-A787-E422368748EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000450$ED63D5F3-3736-42AA-9C10-1E9EBF9CDAE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3accfa6453746c11abdc8d7fea0db1e9dcbed78b","datavalue":{"value":"7371171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000450$6A83F1DB-8042-4E85-93DE-58F16B40B9C2","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":"Q5000450$C74F62C3-61B6-4E7F-94D0-749A85A1F542","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9384f1657cb55afe95d34c525f9b885e414b01c2","datavalue":{"value":"https://doi.org/10.2200/s01089ed1v01y202104csl013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5000450$860B261B-83E9-46DD-82FB-F3772ED961B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feae857a554d707edb983abee4adebd2ad80cc52","datavalue":{"value":"W4210990654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000450$71CFC3FB-2AFF-4444-862B-95F650F77DD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfd8dcf5967273fb60329a2298af49471aabe18","datavalue":{"value":{"entity-type":"item","numeric-id":2277847,"id":"Q2277847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80475473cd663c01feea5ebbfc9310c1e269285f","datavalue":{"value":{"amount":"+0.91072506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5000450$EE4DB8AB-B089-4DFD-9BA2-BF642B642917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df99384cc35d618ead3e73a7511b5f128f6aff49","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10fcda8f49d4d0db1683fd5de8f69644d379072","datavalue":{"value":{"amount":"+0.8960599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5000450$8D14B0B6-EE61-4625-9E4B-134B167C35E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de59a9144cb440fe17c35ade4d13579293683f8","datavalue":{"value":{"entity-type":"item","numeric-id":5039512,"id":"Q5039512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92fae38b992ec0e1794eaf76ebce864b2aef8d5","datavalue":{"value":{"amount":"+0.89277524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5000450$4399BFC5-7854-4780-A1DF-D79CD88BA308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d68dbf2c0578ce93d0a1620d8b3a041780c9ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1879185,"id":"Q1879185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7224b04a22db27dea0383bf5ec208f1804e9cb65","datavalue":{"value":{"amount":"+0.89149314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5000450$5E65AC57-9A01-4DD6-B3C8-34BF02A8AB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529736f7e83e8fde6a662d4666db1a73cc6bbc47","datavalue":{"value":{"entity-type":"item","numeric-id":4930747,"id":"Q4930747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b083f2bb2f6f1e2f3b1d5eb4c2574903a8ce435","datavalue":{"value":{"amount":"+0.88852507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5000450$2DB266EA-E58D-446F-BF5A-877A09363687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65c44c0e0c64b6fa8fe94ec4f8dc5662b949c20","datavalue":{"value":{"entity-type":"item","numeric-id":5476390,"id":"Q5476390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6329caa3ab2c8f2172c4d518dddd5673cd1b93","datavalue":{"value":{"amount":"+0.8868707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5000450$F6EA98FF-FD6B-47E8-A500-203F88EE2E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986afe06d0e449e6f3ff808ef12202603e9ddde0","datavalue":{"value":{"entity-type":"item","numeric-id":5899050,"id":"Q5899050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8d33b0b7200f4c19773f9cd05cf2467c0549b5","datavalue":{"value":{"amount":"+0.88594073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5000450$ED27EC95-734E-4BB5-89EF-E784B0A6146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3579b92783ac4c94b33f26f3d5ad05becdee062","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74e159a6d94ab3e0f6497b781fcd9f2f2bcdace","datavalue":{"value":{"amount":"+0.8829543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5000450$ED238C90-7192-4715-B386-E9463FA2A945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d923660b529be4de0709e4de6b0b139c9cd0582","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74e159a6d94ab3e0f6497b781fcd9f2f2bcdace","datavalue":{"value":{"amount":"+0.8829543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5000450$68CBA69A-44D9-4992-9AEC-A4D8B6594075","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5000450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5000450"}}}}}