{"entities":{"Q2798749":{"pageid":2809487,"ns":120,"title":"Item:Q2798749","lastrevid":79402586,"modified":"2026-05-06T13:49:33Z","type":"item","id":"Q2798749","labels":{"en":{"language":"en","value":"Proof-based synthesis of sorting algorithms for trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567931"}},"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":"Q2798749$5A712664-FD6F-4DF0-98E6-22D0B6FE6A58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10e54c2e08552dad873640efe8edca3415979484","datavalue":{"value":{"text":"Proof\u2013Based Synthesis of Sorting Algorithms for Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2798749$501D8C64-317B-44DD-8D0D-7FDCE1963E79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9152eb745f38ec00dfb7f649f8bcfb41b86abd7d","datavalue":{"value":"1443.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798749$E849C3E5-5BA0-473F-937F-411AC8F96230","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b01d3c2d258c624ae7181954b7da8dd6715cd828","datavalue":{"value":"10.1007/978-3-319-30000-9_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798749$F78099BB-F5B9-48BB-8827-7E202FE19BCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2334913bd300f77e4121ff8b958800142e55ceb","datavalue":{"value":{"entity-type":"item","numeric-id":485835,"id":"Q485835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798749$14865BC7-A119-4A05-960D-ADAC27AD574A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"725aca679a0cd849b7123b8f0d65ff45506c8d40","datavalue":{"value":{"entity-type":"item","numeric-id":485836,"id":"Q485836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798749$53B842DC-A131-487E-BC65-9AF1AC97FA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"391f7c9359d3fa0424cd103cf1db41eeb4749b7c","datavalue":{"value":{"entity-type":"item","numeric-id":219448,"id":"Q219448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798749$B38592A5-3460-44CF-92C7-D075E2F53D31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798749$8C87EA1B-02F2-49FB-82B4-B541091F676A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3a7b3978f3c180b0eca4ce0874ed3437c0432c","datavalue":{"value":{"time":"+2016-04-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":"Q2798749$B0C6C82F-67ED-4ADC-92E5-5B2D9A991F8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798749$64581762-DF29-4176-8BB1-0AA84A399568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798749$A48C6847-ACEC-4780-A98A-200DB3C0E9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798749$225D9803-23F3-411E-B409-157A2E275B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798749$556F5260-0C2B-4A4F-8BAA-FBE6FA6B7D73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f50c2d740094a0b54f6f85ef880dac31e0ac3d22","datavalue":{"value":"6567931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798749$8FD9BBB1-1B8F-4BEB-9BDC-584AA6424E83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc8be07ac551ab83e4335385a09ae0b05d11975d","datavalue":{"value":"algorithm synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798749$E29C0A4C-0E21-4C49-A4D4-EC067A9B7A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f11a697ca4320b2c5e334107aae45a37f7f8f8b","datavalue":{"value":"sorting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798749$ED977138-E8F4-4DDB-BE05-6089A167DCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798749$E23042E9-06A6-48A2-9818-D0719FA37216","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798749$A67E19C5-BB77-4A8E-9523-B951019B9E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798749$2B0C207D-E0D8-456F-AB8D-26317B270891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8859dd07b075ca56b99edd7026e1e517c43d961e","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798749$791BE6EC-F2A6-4EC1-949A-5AD7FBF6BE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798749$8A727FE8-4711-49B5-A799-80FD8B9F53F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798749$60FE58DE-C3AB-4F2A-B906-6C248E54C1F2","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":"Q2798749$7F9A2B43-8156-4960-99A8-828201B540C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d010126b56b7a555f28f868da26134ff34304e4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-30000-9_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q2798749$75B9954E-C0E9-4965-B071-72108CD6EF0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1435bfc5c2facfcb264be055c2b4e62feef28e4b","datavalue":{"value":"W2407196640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798749$4A94674D-0CD9-459B-A8F9-11912A519A1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df768e7a5792925da6d68bd86c52ae05c8f11d8","datavalue":{"value":{"entity-type":"item","numeric-id":1640636,"id":"Q1640636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c990e04f7b5b92f8ae89fd6998c833c473fa36d","datavalue":{"value":{"amount":"+0.8978932499885559","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":"Q2798749$70A885E1-5CE1-4C9A-87F7-AB5C8FF7F202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a62df55303def5469e227ab4922b09edf8fc3","datavalue":{"value":{"entity-type":"item","numeric-id":485837,"id":"Q485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5a427d93b0610fab103ee586baf80f80304bc6","datavalue":{"value":{"amount":"+0.8552145957946777","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":"Q2798749$40C065B1-1EA8-410A-9DF8-D2DD6C9BBCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde683b9c56c8a29a5e3986c12bfc7e68c0b8413","datavalue":{"value":{"entity-type":"item","numeric-id":1996870,"id":"Q1996870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb5d21e95423a42c5b056b8fa69ea53c874af7a","datavalue":{"value":{"amount":"+0.845706045627594","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":"Q2798749$8E232236-51B5-4048-B782-857E26FF1EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26377171112486b33026ddc7b78658a0583ca1b0","datavalue":{"value":{"entity-type":"item","numeric-id":1822927,"id":"Q1822927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c91571bcda4cb3586c36323ffdc8e4fcbadb59","datavalue":{"value":{"amount":"+0.7812500596046448","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":"Q2798749$316BAFE8-60B0-49A8-BE17-47697DC2AE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042368f9a6dfd55627f8b10ba9c0773fd30b1a03","datavalue":{"value":{"amount":"+0.7334364652633667","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":"Q2798749$246B98CB-F67C-4466-850D-CF49730695B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-based synthesis of sorting algorithms for trees","badges":[]}}}}}