{"entities":{"Q1996870":{"pageid":2007612,"ns":120,"title":"Item:Q1996870","lastrevid":57670893,"modified":"2026-03-31T20:55:18Z","type":"item","id":"Q1996870","labels":{"en":{"language":"en","value":"Synthesis of sorting algorithms using multisets in \\textit{Theorema}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7316067"}},"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":"Q1996870$AF44ABB8-BC10-407D-B436-804E78BD64EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e0dff1b4c1caa476928d0d8b6a715cf3975a7a6","datavalue":{"value":{"text":"Synthesis of sorting algorithms using multisets in \\textit{Theorema}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996870$429C6147-5C45-45B6-A567-52E030C2D86C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f897df69dc5e962299748dbe635302befd4cb9b5","datavalue":{"value":"1455.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996870$576F3602-3D60-41CF-BE7F-85F5092E9B03","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":"Q1996870$E8F69581-85E6-463A-B7EF-F072552FD7C0","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":"Q1996870$9EBFE14D-FB3B-412B-B29E-964744B1B2E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$B333D13E-5875-4113-B951-62DFA1C27742","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbf7892cac0bee2c27c326c262f528698e353002","datavalue":{"value":{"time":"+2021-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1996870$9A7AA160-7A1B-4857-A54C-AF8E5E69E5BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03fb6d4606ea1404612e5dca7861b2d0c43895b9","datavalue":{"value":"https://arxiv.org/abs/1909.01747","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996870$5899B37B-ADC0-40D3-9348-3A533ADD4FB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996870$22F0F02B-E287-459E-9818-48831152CBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996870$F8860558-6FB0-4267-A3F3-F0F43597C1CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"226aaeab29f35a9f41f419667ac9b443dab1945e","datavalue":{"value":"7316067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996870$231B44DF-0C3E-49E6-BD2C-34B21BD8DAE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996870$1D42C819-84D3-488B-8387-A152F2802C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996870$22402F4E-C793-4D98-A561-C04EE13EA399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41edffd258769b23eb243295b79ae85193e119f1","datavalue":{"value":"sorting algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996870$45028C55-2BFA-47FA-97E8-93AE51FB1DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996870$FEA0E97A-5B11-4E30-9950-B827F219FE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a66a7636bd7c5b607d0112def17c3279931092f","datavalue":{"value":"multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996870$65ACA55B-073D-40EE-9B5A-83E6E2E3CE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37db48fc50878deb5298f058e27a669b8c15ab38","datavalue":{"value":"Theorema","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996870$B992B5FD-AB9E-4CD6-8416-D9BD0C3AB463","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"deccf76ad6fd5180c299730d9ce8548930a22d55","datavalue":{"value":{"entity-type":"item","numeric-id":27330,"id":"Q27330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$51969780-728B-4A90-99C3-0DFE8F9B4A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51dec823a666188db424cceb64553de72ed9ba7d","datavalue":{"value":{"entity-type":"item","numeric-id":15565,"id":"Q15565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$D9EDF255-7685-4818-8B43-2F0730E9CBF4","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":"Q1996870$355064B8-92AA-484C-A086-FCE514F68534","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":"Q1996870$97B39469-3E89-4E7D-AF4A-92AE6B80A196","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa5239291b1645a867cb49cd4d8816025619ada4","datavalue":{"value":"W3108194029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996870$3D3C1703-9934-4669-8A1B-2FD83F8FF017","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68fa61428514ccb511a7cd30734e78cf71ab2a8","datavalue":{"value":{"entity-type":"item","numeric-id":485837,"id":"Q485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$127A6345-FDD1-4D2C-A095-969D85595430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a713f13336a85ca46a19b0abea7697808752fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1640636,"id":"Q1640636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$67A6A387-20D1-434F-99CD-147356763668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf2e2915ee525715586105eb9b7b6f7c6c8c666","datavalue":{"value":{"entity-type":"item","numeric-id":5195272,"id":"Q5195272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$7A596D0B-6DA5-487D-B193-AEC98183FEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c88e3888090a103d6618595c1672e0dd43a1ee","datavalue":{"value":{"entity-type":"item","numeric-id":2879097,"id":"Q2879097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$41B1196B-4E5D-4D4D-83CB-5F18C42F8647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$CEC3953A-866A-4B95-A826-3CBC237BCA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a8530cc8341477c91a6a458d8bc3eaffcd6c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1251072,"id":"Q1251072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$34E051BB-FAFD-4C7E-A505-7A8614C7E1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42df289460c4776200519dd71f2cab731f946aec","datavalue":{"value":{"entity-type":"item","numeric-id":1259168,"id":"Q1259168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$83588FEC-4204-4221-BE46-987947D8A84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41dc7df18a4c51e21753e55fc12a1208672f17c6","datavalue":{"value":{"entity-type":"item","numeric-id":3799642,"id":"Q3799642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$1E64F4E4-879F-45C8-BA37-870048BBEFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c24ea235c561530583655808e4b3a9156ef43d","datavalue":{"value":{"entity-type":"item","numeric-id":2798749,"id":"Q2798749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$DED7763E-9D96-472A-B115-978EEA76DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$AD470D4D-FBB1-4C77-B5F3-28EFC7132DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288101ca16719641b6d826c50f535fd8613a7b93","datavalue":{"value":{"entity-type":"item","numeric-id":1822927,"id":"Q1822927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$E679E6BC-2D61-4001-BC00-D20A53A5C156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1f65752f3456f6a8005ae067b33615b9f26f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3533135,"id":"Q3533135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$820CE9F0-6672-4458-A4C7-64F9676302FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21603d2607c7655fb454f1ee5054d30b4828bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2457802,"id":"Q2457802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$945C7099-1B32-4371-8980-580DAF89712A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$FBBEC91F-132B-4F28-B06E-EA59E093E5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ad21c4a3a098255dd2efb1e77599202b4348a9","datavalue":{"value":{"entity-type":"item","numeric-id":3690194,"id":"Q3690194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$F4999386-6DC1-46FD-B12B-2D96C099C917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5b0c9d6afe4f1b8f7b47f32232096ec6d212f6","datavalue":{"value":{"entity-type":"item","numeric-id":1117926,"id":"Q1117926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$E8DC5088-CB05-4765-8194-80175148083A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66ec052635085a611a72ee91433db7ef7a5fa2a","datavalue":{"value":{"entity-type":"item","numeric-id":2751543,"id":"Q2751543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$DDEE72C8-66FB-4244-9B9F-A5F1ED180E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1616035475940e78f5e7ffe6b447afdd22db3a38","datavalue":{"value":{"entity-type":"item","numeric-id":3416408,"id":"Q3416408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$ECABB543-0F2C-44AB-8837-9D309299F396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65627a8a26bdf026d150a63c4a81347aa5a9f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":5699466,"id":"Q5699466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$8C76FF09-F256-4942-A4AF-5E0DD455A5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0252db8f91fc184001751f0eeb3107ef96bd911b","datavalue":{"value":{"entity-type":"item","numeric-id":4349924,"id":"Q4349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996870$9AAEAEEB-83C5-4B67-BF8C-DF7D747DA06A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9770b3063d810bf5b06ab6d4538e7337453cffda","datavalue":{"value":"10.1016/J.JLAMP.2020.100635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996870$72B61259-497D-4C87-B32B-FEFE233346A5","rank":"normal"}],"P1643":[{"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":"5704a6d1a12bcc0a800ac79353b5aefe52803e6f","datavalue":{"value":{"amount":"+0.8501177430152893","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":"Q1996870$52162D1D-9F6A-4BF9-B488-420EBFD8A21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4573333321c1089120c550486de7c0d46a23e54","datavalue":{"value":{"entity-type":"item","numeric-id":2798749,"id":"Q2798749"},"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":"Q1996870$B7713D13-FBB6-447E-8933-B3F6B5461E6A","rank":"normal"},{"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":"102b64dab84931c56a4b336cb4c4fab11586e107","datavalue":{"value":{"amount":"+0.8119468688964844","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":"Q1996870$34BCA92E-7C08-4202-BB60-C7257E32CEE6","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":"25a06112b2d67fcd6b2da1dcacfe872a9d8fac59","datavalue":{"value":{"amount":"+0.7618451118469238","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":"Q1996870$21025113-2FD6-4C38-B0D3-A6CC250884A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9cd4d6f39e2fde7b74d9f951b45f43d3955d64","datavalue":{"value":{"entity-type":"item","numeric-id":2847391,"id":"Q2847391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b1953a0233f0db6edd76c8c3f92a312c5c1920","datavalue":{"value":{"amount":"+0.7233438491821289","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":"Q1996870$4911D596-C955-4B83-A9F6-558138C5A18E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1996870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1996870"}}}}}