{"entities":{"Q1380412":{"pageid":1391152,"ns":120,"title":"Item:Q1380412","lastrevid":67295112,"modified":"2026-04-12T16:40:05Z","type":"item","id":"Q1380412","labels":{"en":{"language":"en","value":"Unification in sort theories and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123688"}},"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":"Q1380412$C83E6B95-7736-43C9-91C6-BD0B8A1FD190","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"282f732f1904e8e8b89c29b6a69d217c4f7c1739","datavalue":{"value":{"text":"Unification in sort theories and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380412$64577EA0-C2CB-4C19-9BD7-E5AFBD7DAF59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"627c0a5ec5c207b9ec247633dd16efde83f7c822","datavalue":{"value":"0887.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380412$B55F1C41-DCAE-4265-8B02-9D20E2343AFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"800a13f7a0e8cd3e5df0033422dcf34a67b12d76","datavalue":{"value":"10.1007/BF02127750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380412$04CADB25-386A-482C-8739-A3DCAC53EBA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$C8617CF1-B492-49AB-90F1-C1F3D6A320A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$EF97D446-0C1E-4CBA-A8E8-EA85F91A8561","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"936f807a3564f91d0a5b6d7f253b45cd94afd6d7","datavalue":{"value":{"time":"+1998-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380412$CC3551A2-93E7-4BC4-B3A1-8DD23F816FB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380412$6F69ED86-CEDE-46A6-BBED-378ACD0EB791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380412$5921FE14-AE96-4B90-9A5C-F5B536FE23A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8c5799de75d36a48e0a04a81d538ebf9a78b183","datavalue":{"value":"1123688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380412$A9B01333-47F6-4828-B1C0-92A63EE5E3AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380412$F3830E3F-7885-444E-A760-A9D7F731DE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380412$33201D27-39C8-4F40-903E-EFE42D314137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9344964700eca48950d8f0a8a044e69a46593b56","datavalue":{"value":"sort theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380412$3BDE5BE9-5D35-4F52-8221-E8ECD8D5E54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380412$305FB3C8-AC7C-4807-B2E6-2D5C94F38780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380412$392BBB1A-826B-486D-97B6-E4E0A503D7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380412$6C4B363E-9D42-4846-861F-C353520D2261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380412$1CB0092C-6DA9-4BDB-8E14-42FF97A9F869","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":"Q1380412$15A80F7E-10CD-4F56-8E5C-356DB0862CB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e03b9265558ac1762a117c88abc7e8cefbef2cc","datavalue":{"value":{"entity-type":"item","numeric-id":1193487,"id":"Q1193487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$04B69FB5-1334-4B54-AEDB-034341521BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a4ef3cf5529c302dcba2d05b41a61a0e7210fe","datavalue":{"value":{"entity-type":"item","numeric-id":1101261,"id":"Q1101261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$0D246650-190A-4823-A7EC-4BD081A6C716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266a444cd4ac41870917ff8de63fc134cee7c5e5","datavalue":{"value":{"entity-type":"item","numeric-id":4264728,"id":"Q4264728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$AEB7DC7F-C983-425B-A79C-C464C72A1ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0285c907a8b1aec6e16d4e2ecf8f1e6d1cb0953","datavalue":{"value":{"entity-type":"item","numeric-id":4038726,"id":"Q4038726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$2E7B0B91-0A45-41A2-9551-D3B654F68092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb75d452b814e1d736378adf1fca3cecf6a8cbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3673105,"id":"Q3673105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$7616E916-717A-4254-811A-E54B4265EF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$59A0D0A3-9F64-4186-BC63-F0563B65E9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$8E927501-C952-40C9-8139-E3E2DFE2B687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$BE169752-5EEC-45AE-A65D-1D1B218D1551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c89e1d9004398ab389501fb07d2ceb4cfccb559","datavalue":{"value":{"entity-type":"item","numeric-id":1182164,"id":"Q1182164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$C4AA7FC3-F174-4BCC-BFBE-A9E3F6AD1DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$A5EC8119-BF58-48DB-ABC2-ACCB297E5898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$EF52FFBA-6693-4C89-89FF-78BB1DB9D189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2e515b8f14213cd38f21fb2b2915093cbf9321","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$E4986D32-3818-4960-A5F2-E7D54972DC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc846a064cd218190307f32dc994e9ec92c8da3","datavalue":{"value":{"entity-type":"item","numeric-id":774393,"id":"Q774393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$B52FB528-CF92-455B-AB9B-B0541FC92A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a1b8154848e744927aca44d97ec80411b08cf00","datavalue":{"value":{"entity-type":"item","numeric-id":1821566,"id":"Q1821566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$6933D4F5-3336-44AC-A582-89DBF637403C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$5D5D5CE5-F5D8-4EEA-9216-7E30307A43AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$67DB27C5-E7D9-4EE7-AECF-0C3C9084FB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e82257b416db4246a715182cdefecc0570e41d","datavalue":{"value":{"entity-type":"item","numeric-id":3279281,"id":"Q3279281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$AA5A76EB-2EA7-4404-81D7-F6FFD01DEDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$0E3EDF29-4A23-4E24-AD9A-37A7FDD02B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485e66379086eea3c65de0b92f4a79024414b678","datavalue":{"value":{"entity-type":"item","numeric-id":4294173,"id":"Q4294173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$74A68422-2694-4098-8BC9-7CAA74469F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$BD2F9628-6F2C-4ED9-9CF3-E543BEB2793F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"779ca0489e27b75b6628f9c657893434501e9e93","datavalue":{"value":{"entity-type":"item","numeric-id":4013973,"id":"Q4013973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$FB641192-930A-4A84-ABEF-7223B5B3FA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$F9678FB3-F1D8-431B-AB8F-48052098759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbeaee82e2d22dcbceca8a7a0c2001f5a8c9cd5","datavalue":{"value":{"entity-type":"item","numeric-id":3490936,"id":"Q3490936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$18727AC6-1218-49E0-AAD5-85E65728B0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee18c6685e3c422a5b7acb38e3c3aa904b7a2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1185014,"id":"Q1185014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$7F487044-E43E-428C-9505-21D89926956C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a177420faefcfce6396fc744cae98a5ec9b03f8","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$2C4F6248-ED4E-408E-A970-4C2BF756F372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f054e00d8c41d716c93e7c6fad80f0d0d75871","datavalue":{"value":{"entity-type":"item","numeric-id":4860657,"id":"Q4860657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$CC5A9A00-F5E3-4D35-89A3-4B99F3D7D049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6ef22604ffcaf8d1dc55b11c5f547fd8d6565f","datavalue":{"value":{"entity-type":"item","numeric-id":4296171,"id":"Q4296171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380412$642F9614-A516-4A15-8799-FD2C8826085F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e82f08704f38d22cce43b1c9e9b2e5e90950ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4255519,"id":"Q4255519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4c8a46b0a23c94a532591b98f7ec917b5b1514","datavalue":{"value":{"amount":"+0.8377230763435364","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":"Q1380412$D3C4BE0F-3660-41F2-A2D8-152B4D7D7E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924c1e9166e3a3eee9cfe0755f37b4f78a7e7e6c","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429aa42294a63c8ca5b145d133525b55e4c93899","datavalue":{"value":{"amount":"+0.8335117101669312","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":"Q1380412$6A52AC3C-38CE-4AF8-BF48-23B5041126F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9391a23c3d66afcea3fb6420bd79b0f85dc16e58","datavalue":{"value":{"entity-type":"item","numeric-id":4536326,"id":"Q4536326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ed26219aa3c55118ade0db854b965423ce6958","datavalue":{"value":{"amount":"+0.8313695788383484","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":"Q1380412$5ACE19E8-16A7-481E-909E-8D74201FA832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f1fd738e3772ede0f0ba17ed7ff0132ee75c57","datavalue":{"value":{"entity-type":"item","numeric-id":4647533,"id":"Q4647533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8049235ad2fa1aaf98752ac01bab3a1706327382","datavalue":{"value":{"amount":"+0.8252016305923462","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":"Q1380412$E1550968-A33C-4970-A277-DC149A4D2897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26269902009e838111e06f3f7b071c3c0bfee99f","datavalue":{"value":{"entity-type":"item","numeric-id":1863821,"id":"Q1863821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4147b3506337dab2309ccb22843e9d31e0e2a8c","datavalue":{"value":{"amount":"+0.8227737545967102","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":"Q1380412$4050D32D-EDF9-4D94-A579-511C4773EA1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in sort theories and its applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_in_sort_theories_and_its_applications"}}}}}