{"entities":{"Q4597732":{"pageid":6627317,"ns":120,"title":"Item:Q4597732","lastrevid":97910708,"modified":"2026-06-05T15:46:59Z","type":"item","id":"Q4597732","labels":{"en":{"language":"en","value":"Sorting realization of well-ordered sets based on \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6818491"}},"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":"Q4597732$9092D34F-6B0D-4421-9D58-D4BC45B77515","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"725b5e729c7c5c69309e5540c3bb2e2d14ab2f4c","datavalue":{"value":{"text":"Sorting realization of well-ordered sets\u00a0based on \u03c0-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4597732$09DD7215-47D2-4CD8-B687-7C464B2A2B11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfdb03b13de38de34e52e9021d488f427b78ff5d","datavalue":{"value":"1375.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4597732$BE8E31EE-CCD5-4935-89F8-FE01DCCCDD6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80f7e7d123ffe96a102414278e313c64d8727990","datavalue":{"value":"10.3233/JIFS-169282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4597732$C3C522A7-21E0-434D-B58F-36F3E96F7C64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8954b9595cbd0b6cd02536ea9056c4ef9a66b54d","datavalue":{"value":{"entity-type":"item","numeric-id":4597730,"id":"Q4597730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4597732$40173ACD-DA14-44DE-91B9-E022FB047B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa05c5aaeaaaad98452d1b54076e9ff77abe9255","datavalue":{"value":{"entity-type":"item","numeric-id":477900,"id":"Q477900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4597732$012B0275-CADE-4B92-85F4-801CA8F557FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9361f0f3abd51839ec9efece573f3d359091a91","datavalue":{"value":{"entity-type":"item","numeric-id":2719634,"id":"Q2719634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4597732$CF188051-95C0-42EC-BA7E-D80428E8E3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e9ffe57a084e0a7f209f32dcd402fd42796956","datavalue":{"value":{"entity-type":"item","numeric-id":4597731,"id":"Q4597731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4597732$A5C3D330-1A97-4DEF-8DA9-F121E7CEA5C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f1d2c2a984173b8e2c0e3776499fc0359f5bdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2812531,"id":"Q2812531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4597732$F372C8D7-A016-4DC3-9D78-7B0895BB792C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15a701ba4909851bd5f18ca1e277008b920dd0ba","datavalue":{"value":{"time":"+2017-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4597732$FDA85FAE-E55E-46CD-B6CC-5059765E51D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4597732$0B3C00F9-813C-4771-B80A-8CE9AE20F779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4597732$C59E2BA8-2798-40E5-A561-CD195D0F0DA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bfd93122705a0c3c4b355f2c3bd3335cd9c5323","datavalue":{"value":"6818491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4597732$7F01E949-EF9E-4379-9AD2-8D4CD7034FE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4597732$4ECB28CE-2088-4E55-8E20-F9BAB772B653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2846404e39f2305ac3f3d41c6401cdcdb0d83c64","datavalue":{"value":"mobile computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4597732$5C9B18A4-FA44-4BC0-B0F6-D46B82931A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f11a697ca4320b2c5e334107aae45a37f7f8f8b","datavalue":{"value":"sorting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4597732$9945CE96-2A7D-4D76-9DF4-485C3F087A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f020525d342effe6a5241faa69517d8ac5ddabd","datavalue":{"value":"cinema algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4597732$3C930C29-5A7B-46DD-9AE6-61494BB00908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5242c2eaa0eb7c81c0f69e729e24466ec3855cd1","datavalue":{"value":"key change algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4597732$F5801D00-2950-4A79-B117-8A34F1D3FC8E","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":"Q4597732$FC380A72-473F-4052-9366-5DCDFC81262F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9afe5ee2880054e8b76cbd7446436706461a47","datavalue":{"value":{"amount":"+0.7884994745254517","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":"Q4597732$154E13D8-BC59-4679-B021-19596A94A55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"413cb040add77f44419155140af130dd355f7251","datavalue":{"value":{"entity-type":"item","numeric-id":5044732,"id":"Q5044732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a00a79e3f0dad39b1e6ef056e207aacd065e8a9","datavalue":{"value":{"amount":"+0.7862116694450378","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":"Q4597732$6E380116-B3B3-4DBA-B980-2935FDFA4076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9011a4ce1a501f0d921e3d9d9782731be0b82a13","datavalue":{"value":{"entity-type":"item","numeric-id":4571963,"id":"Q4571963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12eb8fe998ba8c347ad269aa66399ffd009767d1","datavalue":{"value":{"amount":"+0.7671651840209961","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":"Q4597732$CF487D74-AAC6-4C7E-B1C0-96602D90D71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9d4cd12326fce69266466ee5f9c48a8c3e7485","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7016fb6360f8d5d3beeff79e37eb1bd067154a","datavalue":{"value":{"amount":"+0.7638654112815857","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":"Q4597732$80D1DF96-4E00-46F4-9F31-3A313AC4A4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8506ca69b8da9544139268ac29ab54e7ec0810","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e28d16d2a6923b3716939a571ca41ffa46b50d","datavalue":{"value":{"amount":"+0.762313187122345","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":"Q4597732$9D5377B4-B5D4-4153-8A96-960BABC585B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sorting realization of well-ordered sets based on \\(\\pi\\)-calculus","badges":[]}}}}}