{"entities":{"Q5079724":{"pageid":7109300,"ns":120,"title":"Item:Q5079724","lastrevid":55409542,"modified":"2026-02-17T15:48:59Z","type":"item","id":"Q5079724","labels":{"en":{"language":"en","value":"High-level signatures and initial semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533329"}},"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":"Q5079724$63861370-6086-49C5-84AE-A63D20AC98CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebdd912b169a139b5481c76e8978f5a1ad20396","datavalue":{"value":{"entity-type":"item","numeric-id":2319988,"id":"Q2319988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$2F59941D-EA10-48A8-81CC-53455282A4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db011c484f08f2b5c204b9491137cd52ee9a3170","datavalue":{"value":{"entity-type":"item","numeric-id":5009702,"id":"Q5009702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$2A101A8C-82CC-496C-B66D-752D14A56BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea229d5c7d566db264a7e69175c2b14cf582fccb","datavalue":{"value":{"entity-type":"item","numeric-id":438545,"id":"Q438545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$C9F313FE-0201-42DA-B933-C21C3788B725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b98d978fe1bcd6c0757acb680bbf15dfeeab6501","datavalue":{"value":{"entity-type":"item","numeric-id":1253341,"id":"Q1253341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$63649B1C-7B31-4958-9B4D-9D172C2104BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079724$5ED0AA2D-B562-4E8E-8563-E2623CBC8B47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079724$44DEBEEE-0335-4EB2-808B-11CB8D1087B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"658e286e5fc567d3ad9d5df3f7ec348af2ec6d87","datavalue":{"value":"7533329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079724$F64B5859-93AE-405B-9CE7-D02A867F65F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017b09619e648d42f88d6aeab76471f5a0b02cec","datavalue":{"value":"initial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079724$1277DD48-EE94-4ADE-9DB0-8B4194090D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d873a1d4d05cb79d90b13271e3f58ea19f26e91","datavalue":{"value":"signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079724$B1C4F40B-A31C-40B9-B7C2-8C0B36EA94FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079724$8EF7BAAF-2A16-4ACE-AF33-551FA75BA07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edf167e30e65d34d8694b27cec7a98444d513a7","datavalue":{"value":"monadic substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079724$661331B0-D402-4329-BD93-FCA620D1861F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c0e28b8c144d54597f6ca945f0c1ec96d527f3","datavalue":{"value":"computer-checked proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079724$6A205E40-396E-4CD1-9AB4-B62D47A95828","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b69ae52d53a05f3f4bf4d99cc0f83e03b73ae561","datavalue":{"value":{"entity-type":"item","numeric-id":27033,"id":"Q27033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$7ECAB4C7-321A-4959-ABF5-877FD85285FF","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":"Q5079724$3660AD55-B701-45D5-B143-1EC4D87D5858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$25309594-13ED-4E52-854E-88195FDF9441","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":"Q5079724$0C748E01-1FDC-4008-8ECB-89DCDBA16E94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4db96e02cb96d8bc5f98afcc94043ea9ca37255","datavalue":{"value":{"entity-type":"item","numeric-id":5741555,"id":"Q5741555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$23D47442-59DE-41FE-961E-01E24FC4C2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5902c976efd4b819c0ba8c52693c141806a2bef9","datavalue":{"value":{"entity-type":"item","numeric-id":5111300,"id":"Q5111300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$ABB9660A-19FD-48C5-A108-E8591AE83B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb3093a2facd758e8e5efacce4a1e6e068d684b","datavalue":{"value":{"entity-type":"item","numeric-id":5177334,"id":"Q5177334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$3E22F73B-1CBA-4497-BFAD-26FCA25020C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$70FF4907-2F8F-46B3-B389-5CE228C90482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$289202D1-8236-464F-B6A5-827822684757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a17422820de131ed03dd36bb6484e8aa078aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1965249,"id":"Q1965249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$87DB7DCE-3064-48A9-BA1E-11C0FE5CA3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357ccf03e46aaa39253d03b41c233e835e9de436","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$4A9D2BAE-7DB3-466B-BDD5-7B6612A2BF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd6cd0d0c72bd63bb035b0e71b44baff47cc10e6","datavalue":{"value":{"entity-type":"item","numeric-id":3586098,"id":"Q3586098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$36A874F0-BA0F-4C58-966B-780904738743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69d2d8ab3debd042997c5182da12fdf610edb88","datavalue":{"value":{"entity-type":"item","numeric-id":853744,"id":"Q853744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$0C837BB2-E6AA-4997-BB7A-49A245F18235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$1E015CA2-8565-4F46-B3B8-CCFE401448E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$AD9036A6-F70D-4138-86D1-FAA74CBC40A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54369932520febcb9c58f8434b9b8e94505ec97a","datavalue":{"value":{"entity-type":"item","numeric-id":3612664,"id":"Q3612664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$31474602-7282-453E-BD4A-5F6B25EA4472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4eaff37ca0626b0bedd741648f8cc265e3ccc4","datavalue":{"value":{"entity-type":"item","numeric-id":964503,"id":"Q964503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$441DD581-C6DC-46EA-A60C-39EBB4845C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45c6db4be13ac29556fe71e8bc839acc9f73d01","datavalue":{"value":{"entity-type":"item","numeric-id":4968489,"id":"Q4968489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$C99AE053-BB95-491B-A712-8B6196695B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce525a5f815aac302f3434ad5eb328792885ff8","datavalue":{"value":{"entity-type":"item","numeric-id":2846582,"id":"Q2846582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$6CCAEE83-22B0-484C-ABD3-1E0340F97C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946b62dff16e0de007abc5492670d01807475a28","datavalue":{"value":{"entity-type":"item","numeric-id":2864158,"id":"Q2864158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$2895C832-CAD6-4A6D-941E-0C8348C83671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b51be60cee0eb6f5b023d5c08d16239999b302d","datavalue":{"value":{"entity-type":"item","numeric-id":3612632,"id":"Q3612632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$9755CA2B-BF9A-4FC0-8E61-7E6F014B97B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$CC654A1C-D68D-4C32-B367-BB3B57E7840F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b98e59524c09aa47e1d06221dbbb46b4da0c230","datavalue":{"value":{"entity-type":"item","numeric-id":703526,"id":"Q703526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079724$1D271C4B-B18A-4C2C-BE48-3BB486BA960A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4b8559ffa7b061722f2b668fea9b4e3a181918c","datavalue":{"value":"https://inria.hal.science/hal-01930058","type":"string"},"datatype":"url"},"type":"statement","id":"Q5079724$1408B791-EA89-4F80-9279-E49FB2CDC580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e600e38a3780ecbefd76e210902cc787b74d1a78","datavalue":{"value":"W4289552732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079724$34B00B24-9E20-4D3F-AF05-4BC96B078939","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e18aeac252336e6a9a398c41a6996a5051742c5","datavalue":{"value":{"text":"High-level signatures and initial semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5079724$E5A613B3-1B1C-4DAD-A47A-198204968510","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"705748d44c867a85e58afc2aeb0b737f89ecb4d2","datavalue":{"value":"10.4230/LIPICS.CSL.2018.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079724$B88910BF-420D-4E28-8544-5A5EA8EC9B4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1efe8114ab8e286253205cef175e6a62e8074c","datavalue":{"value":{"entity-type":"item","numeric-id":5009703,"id":"Q5009703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e8e1025155f8524fbcef6a2d508afe71e17972","datavalue":{"value":{"amount":"+0.9501262307167052","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":"Q5079724$F0C19D86-993A-445C-BBDC-61E5D61E963C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da51a64ce85b824c0c6a00156958187439a882fc","datavalue":{"value":{"entity-type":"item","numeric-id":2319990,"id":"Q2319990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e69672a83b34157563e1bbea6894dc54f8adc5","datavalue":{"value":{"amount":"+0.7804189920425415","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":"Q5079724$2C034B27-0529-418F-8B61-9EACA5D4F8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0429bba24e70d441caf0d7d5727ac9bb160a74d1","datavalue":{"value":{"entity-type":"item","numeric-id":5195264,"id":"Q5195264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef31ce3b78e8595a4972814349babddfed298e3","datavalue":{"value":{"amount":"+0.7788766622543335","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":"Q5079724$CEF56214-C7B7-4B27-843C-A5A7DC295155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93509e17828976e09a61fd4ac19decab76c73283","datavalue":{"value":{"entity-type":"item","numeric-id":2915022,"id":"Q2915022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e870b0ef5aab1cad5bd3ad29c2cbac475c7a49","datavalue":{"value":{"amount":"+0.777401864528656","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":"Q5079724$D292D9E1-BDA4-43BD-8A80-61D3A7004F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4a61c21498da9ddbb7ee67cbc7f68db654b85d","datavalue":{"value":{"entity-type":"item","numeric-id":5854736,"id":"Q5854736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a1297037c36dead0aa4c77b5af657a52bcc6c1","datavalue":{"value":{"amount":"+0.7746492624282837","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":"Q5079724$DBAED1DC-A62B-4FFE-86AA-163FBA01F1A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079724"}}}}}