{"entities":{"Q6487931":{"pageid":14066700,"ns":120,"title":"Item:Q6487931","lastrevid":47829799,"modified":"2026-01-02T19:49:23Z","type":"item","id":"Q6487931","labels":{"en":{"language":"en","value":"A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666481"}},"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":"Q6487931$89E1147A-3776-47B7-AA17-6791CD338905","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ace40fe334b9a0f4eccc519d0015d2f85e3a811","datavalue":{"value":{"text":"A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487931$C1D32333-9183-4FEA-977E-E46FC2BF99C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71ad521c71bc6363a0358519972c654b037f7a20","datavalue":{"value":"1517.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487931$90A91958-13B8-46D8-B27A-63A380795E2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c4c4b577e51b809791c2a6abedd410af4a06b56","datavalue":{"value":"10.1007/978-3-030-63461-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487931$19782622-C7D6-4E03-B8C3-9521E3DA13D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75fb5243196322cb363d0d50557908676ddcffb6","datavalue":{"value":{"entity-type":"item","numeric-id":1698755,"id":"Q1698755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487931$FDEA2F5E-D691-4920-B344-986ABD503241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3772d5f7c7aac4e0fdecccd336d0d84f954a370a","datavalue":{"value":{"entity-type":"item","numeric-id":225075,"id":"Q225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487931$F7996155-92CA-48C7-B896-9610C0B43537","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487931$D91249AE-C56D-4313-A201-90B4C8C4CA1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487931$9FCAE639-34CB-4900-8B6D-C40ACF99791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487931$5F4FD616-3FCA-47BB-B607-E341286FEC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487931$48B0C55B-4B36-4C58-9AE5-4FA051AAE386","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d382ff75205484a07d519a39b17619d8af83ce9d","datavalue":{"value":"7666481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487931$69B0C8D8-9587-4B51-AB53-A0E196462728","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":"Q6487931$995BF6FC-B847-43C5-BEF9-83A3A21DDC9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d9f92e014b8cf89953501d123fe5a2e8592152","datavalue":{"value":{"entity-type":"item","numeric-id":5016384,"id":"Q5016384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272f0ac0b887a877376fc90c4fff1a014d74c0b2","datavalue":{"value":{"amount":"+0.6882893443107605","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":"Q6487931$177F7186-0F7D-49FA-A260-9A907C312527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158d1f9f96c1045a37fb577cf647dca6502931d8","datavalue":{"value":{"entity-type":"item","numeric-id":1067782,"id":"Q1067782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36c11f753462598993d1b6007f537f46b14cf32","datavalue":{"value":{"amount":"+0.6846536993980408","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":"Q6487931$23155DDF-F264-4530-8D7B-3D40426A2999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551f66a7093503e5bd660f45a7f898f4d86d64fe","datavalue":{"value":{"entity-type":"item","numeric-id":1630025,"id":"Q1630025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3f9e7a246205d31b7d43019ef23326fe765164","datavalue":{"value":{"amount":"+0.6787331104278564","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":"Q6487931$04442690-8B1D-4F1C-B0F3-CFCDC802AD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ccf84d7d5a23e67c917bfe0f59d94119da14487","datavalue":{"value":{"entity-type":"item","numeric-id":1725846,"id":"Q1725846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd94e6bb3c3c1d36a2dab07557ac019df16fed06","datavalue":{"value":{"amount":"+0.6770966053009033","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":"Q6487931$34319733-F576-47C8-88F2-FC5F938C89E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4c7d19a543f7aa99bc0129cce503781ed001a6","datavalue":{"value":{"entity-type":"item","numeric-id":5277907,"id":"Q5277907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46bc58adf0382898da544339d4f3f6da83e9b0f","datavalue":{"value":{"amount":"+0.6548168063163757","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":"Q6487931$9D2932CE-4947-449A-9CB5-E7EAAFE1E039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487931"}}}}}