{"entities":{"Q1822927":{"pageid":1833669,"ns":120,"title":"Item:Q1822927","lastrevid":71369709,"modified":"2026-04-13T21:48:20Z","type":"item","id":"Q1822927","labels":{"en":{"language":"en","value":"Deductive synthesis of sorting programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4113943"}},"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":"Q1822927$ED46526F-D00A-488D-BFD2-7CD6FACC23A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a869875adc680b89b8af092f7080ee5cdc7c550","datavalue":{"value":{"text":"Deductive synthesis of sorting programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822927$DEBC7877-4120-41C3-AEB5-55682FA85FFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88d21cb459b7bd3fccacce77aa380025bd2d9532","datavalue":{"value":"0679.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822927$EAA57C30-67A8-4CFC-B964-1C423B4FF025","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"169c8c1ba176efe8d1e7f5f8dc1520a19c18e978","datavalue":{"value":"10.1016/S0747-7171(89)80040-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822927$BBDB6D71-A6D8-4807-99C3-626BD8E78D00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08fa498dd71f424316fdadb4cd99b3c2ef60e7fb","datavalue":{"value":{"entity-type":"item","numeric-id":1822926,"id":"Q1822926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822927$C43943A9-0434-4A20-BD2D-3BC2E4A44FC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822927$62E80FE1-C462-4CFA-A559-5113378F9092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1822927$EA81F95B-CB5E-41ED-A21C-7B0C535285F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822927$0BDB5253-D9D9-4EA1-8DCE-094E982A433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822927$5A284C00-01BB-435E-B003-1BB6303E10BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822927$8DCB992B-DD99-4DA6-8144-8A5AB8B46946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822927$910B6107-89B2-40F6-BC5A-A33D9CBAF950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b869f9a1917bac7e17a66f8c2f14e5699c7dddaa","datavalue":{"value":"4113943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822927$9E34D7AE-E092-4C42-9234-591014A305BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05663d589d170e14911d7843065b083434f4f829","datavalue":{"value":"automatic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822927$B663F01A-A876-4FDA-AE54-3EEFC484F981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f68e29cb19b9b0e1121afce8ce26bd59bf0ce8d","datavalue":{"value":"deductive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822927$C4CB3D3C-E84E-4B5D-9297-6ADD09B8A5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"264abaf5fda5a067f9e7eeec1082a9bb4f379f66","datavalue":{"value":"recursive sorting programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822927$64D3DBB3-5981-4799-BA23-DFE839498A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822927$B2547653-D6EB-4EA9-AD81-F3D05954A447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822927$D79F7177-6C12-4A1A-BFC5-1165F6E4ACD9","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":"Q1822927$D1A41717-3E8A-4384-AF9A-3E72FA83107B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a855faf9fd36b10ff39c0860ddc943b205994344","datavalue":{"value":{"entity-type":"item","numeric-id":3862422,"id":"Q3862422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822927$A8667F75-E323-4086-9256-560350C70CE5","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":"Q1822927$EB492580-395D-4EBD-88DF-A782C9EDF3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17aa06c1449a3993196d42b424ddd94ee7970830","datavalue":{"value":{"entity-type":"item","numeric-id":4157922,"id":"Q4157922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822927$17975D86-8C84-48D4-92EF-13161AC16832","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":"Q1822927$39F5EA65-6821-4137-9956-D1F837E49041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ad2ed6b7262bc4aaf760dd16acb7d192abb88c","datavalue":{"value":{"entity-type":"item","numeric-id":3777497,"id":"Q3777497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822927$AA8A49D6-27FE-4D22-B11E-CA5DFE9E9E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822927$86E889EB-6F9B-44D7-B152-64EE7693C0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926824938ac14585600323bdc816e7df4cbb9602","datavalue":{"value":{"entity-type":"item","numeric-id":1062770,"id":"Q1062770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822927$1E677B99-EBB8-498A-97FF-5448879AFE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09289f6833573b3dfe785ef27b87fe1f0ccbfbc3","datavalue":{"value":{"entity-type":"item","numeric-id":1060859,"id":"Q1060859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822927$03553A4F-9FBC-408D-9219-122D59B82A21","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":"55b8ce09dcb7b6ffde942a3b1403bd5df44d77e5","datavalue":{"value":{"amount":"+0.801798403263092","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":"Q1822927$FDC00558-DD75-4C5C-86C9-D1402ACD77B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296a00e5fa69516b721a0d01a0f0eb591eb00931","datavalue":{"value":{"entity-type":"item","numeric-id":5938542,"id":"Q5938542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"482db2dfd5196651953b59b340fa850a0eb279d2","datavalue":{"value":{"amount":"+0.7825868129730225","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":"Q1822927$DC0FADEF-AC80-415C-B6B0-8040C5A42240","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":"482db2dfd5196651953b59b340fa850a0eb279d2","datavalue":{"value":{"amount":"+0.7825868129730225","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":"Q1822927$C00816C4-6350-42F2-9F6C-3560D8415519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d543ddd7a828e944da484fc89e5c76bd94968ac","datavalue":{"value":{"amount":"+0.7821640372276306","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":"Q1822927$B0FEE108-9A01-43C2-950B-43D009143B10","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":"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":"Q1822927$78093E4F-F697-4CD9-9263-8D6152D3A27B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deductive synthesis of sorting programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deductive_synthesis_of_sorting_programs"}}}}}