{"entities":{"Q5505520":{"pageid":7535080,"ns":120,"title":"Item:Q5505520","lastrevid":41202190,"modified":"2025-04-19T00:59:37Z","type":"item","id":"Q5505520","labels":{"en":{"language":"en","value":"Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498244"}},"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":"Q5505520$CF90704C-8A12-4780-AE08-733D06DD5ADB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfcd09fcbae84b8d889cddccac92b721ef939ed4","datavalue":{"value":{"text":"Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505520$8E59F03A-1B7A-4E93-A5B8-48D257E0AC86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6624e49f5e4b4e34c69f764bc01b16d6503a77c","datavalue":{"value":"1166.68342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505520$2C4CD4BA-7525-4B57-BDA1-BE8DCDDAE82E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6097cf59da34169abcf28b04a7580a443b9a8d6b","datavalue":{"value":"10.1007/978-3-540-85110-3_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505520$A7F15BFE-B61B-457D-930B-53ECFE09D67F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cf438179b32520361aad70767a3a3b1d33d3c8b","datavalue":{"value":{"entity-type":"item","numeric-id":841686,"id":"Q841686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$85D53232-0C3C-466E-AB35-A7D5A0147BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e577791d9933adae63b7763aae97084df05a1743","datavalue":{"value":{"entity-type":"item","numeric-id":2655332,"id":"Q2655332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$29A6E239-507D-43B6-97E4-97210CB94749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"094572ddca8457a4d4745ada3ef1dff46d00a6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1812015,"id":"Q1812015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$714E68D8-1F16-41B8-B373-1E6B34F17B65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$4F668A82-03CA-42B2-9DFC-9BD84EC80BCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505520$4E000D63-2995-43A9-BC19-6FDC2AB1B1DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505520$4982E552-7136-449A-BFCD-4040AE1F3DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505520$BCDE1E63-7AB6-4438-8142-99F43064CE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a949d7a6e72784eb53409e2ff8b59f49fe4f062","datavalue":{"value":"68U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505520$7F54264E-4A96-4471-B158-EB7F5321C1DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d25c25bd964adae9edb1ad786b2656135874918a","datavalue":{"value":"5498244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505520$A1516375-39FB-4B8C-80C1-414ECEE6A1E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1c3bebe77adf598f50deb4742409c08fba85245","datavalue":{"value":{"entity-type":"item","numeric-id":17495,"id":"Q17495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$F86D9FFE-A273-47DA-A43E-356C94CE152F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$45DA3CF7-C45A-4C51-8BBA-F7DE774F3D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$8C71D88B-E1CF-49DF-9E6E-BA00FB1413E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01712194c207617871fd4fb99ad1e9fcc6e71eb8","datavalue":{"value":{"entity-type":"item","numeric-id":15955,"id":"Q15955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$5F9E7824-FE94-4EAE-97E1-403C2F8C54A7","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":"Q5505520$21C96EAD-9024-48C4-919D-45A472516889","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ce8bf5d7471fea8e7b84e983a7b66379979ed22","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505520$E34B8983-D916-4D45-92B9-A4106040E70E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19de5d8db7b5cb7cf419185df3fbd7994df2c0a7","datavalue":{"value":"W1488706998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505520$E2ABEBDB-8B34-403A-B51A-1AA1E767B401","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7003dfe531f8d6d5ac84080a9dcfcc49beb56455","datavalue":{"value":{"entity-type":"item","numeric-id":5898516,"id":"Q5898516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$F4958DD6-67ED-46AB-99F5-A496DEB51BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ce965f1f3173a53364163a7e50ccb20d8b04dc","datavalue":{"value":{"entity-type":"item","numeric-id":5756764,"id":"Q5756764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$488B39E2-8517-4FD2-BF72-D11ACB378326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13b63d45837868c444aae3c13e6c5ba30662314","datavalue":{"value":{"entity-type":"item","numeric-id":5428269,"id":"Q5428269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$C42B72DA-7751-4D02-AA1B-5DC20CA0F5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a29fcf32011c13088f3428d9fdfe337e239946","datavalue":{"value":{"entity-type":"item","numeric-id":5756760,"id":"Q5756760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$5E12D3F1-ED63-4D9A-8EE9-22F33342BA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576a54e2c221731eb03a4293579fccefcd961f46","datavalue":{"value":{"entity-type":"item","numeric-id":2764077,"id":"Q2764077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$1ACC75AF-01AF-4B2B-AF0B-27100B369416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5762716a92ca21a3abf7cd096f35c5ef2b229a","datavalue":{"value":{"entity-type":"item","numeric-id":4428312,"id":"Q4428312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$8322B820-D2A3-4077-BB4E-4227C9D70168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65b1a94710c3ff66cb8bad5df55c8a288dd930c","datavalue":{"value":{"entity-type":"item","numeric-id":5428274,"id":"Q5428274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$9EE1F7E6-7AF0-4E58-BF1F-F5936092F6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d63fa854928cf431481c72b5ad17afc61ccafb6","datavalue":{"value":{"entity-type":"item","numeric-id":5428286,"id":"Q5428286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505520$2F4B2FC3-F6A4-451E-AA64-90FBB06E70CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19203accc4a7a22b6e0e7ded8f7f4df3e916088d","datavalue":{"value":{"entity-type":"item","numeric-id":5898512,"id":"Q5898512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bcd80408b3f0c9d958c80553cd7a292a201f69d","datavalue":{"value":{"amount":"+0.873955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505520$D4DF0379-3167-4E4C-986A-8783E82C0F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99f7967415a9fb5bd09dbc5ec2ba74a959a259d","datavalue":{"value":{"entity-type":"item","numeric-id":4471939,"id":"Q4471939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9d36b93770ee0d40559288683c0dffc2ca7edd","datavalue":{"value":{"amount":"+0.8461741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505520$1DA7968C-73F8-45FD-9EE9-CA3DD69FF6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bc222b2e48a6f8ed51e81c80f0fdffe79d0c11","datavalue":{"value":{"entity-type":"item","numeric-id":865656,"id":"Q865656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34ce6f15a31502f82bb2edf38a19f04cdab38af","datavalue":{"value":{"amount":"+0.84340024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505520$48ECD1D6-7A6B-4898-8598-A3627FF5492D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9707e33700967679010ac1d47d134b3b741111","datavalue":{"value":{"entity-type":"item","numeric-id":2879241,"id":"Q2879241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1dc387f5fd5b16d6c42d8a6487eb28cd6778fd7","datavalue":{"value":{"amount":"+0.8416331","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505520$B18A8055-089A-4522-8AF1-F1A6D37F8BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ba175c3b998324dfef7b31903800589cbb12a9","datavalue":{"value":{"entity-type":"item","numeric-id":2767009,"id":"Q2767009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c75f616c702eaa173f49323557043613c612599","datavalue":{"value":{"amount":"+0.8302894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505520$AB9F13E3-D7ED-457E-8E8B-505580CB1841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df98aae22bb1683b064165c2fa3cf3b0d4f27c56","datavalue":{"value":{"entity-type":"item","numeric-id":5428268,"id":"Q5428268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ed8756b9edc67e8d73e15a8796e97de8cdf659","datavalue":{"value":{"amount":"+0.83027023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505520$A506A848-BACB-4202-A1EA-5DC0418596C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d73f39f270930c50372d27abce923aee4be3de","datavalue":{"value":{"entity-type":"item","numeric-id":4279075,"id":"Q4279075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4587dbf7fe3e0dbfb6f64c53efaaec466b013a","datavalue":{"value":{"amount":"+0.8243085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505520$AE4D1EC9-03B1-4E87-BFEB-771EF8856EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e4c851f4908632f165ce4f91d3fb87f44ce5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1577488,"id":"Q1577488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c38b1ee2bf5204302ad7d72411df80c8bcb2ee","datavalue":{"value":{"amount":"+0.8238396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505520$56BF325D-DABC-453C-9A33-7E76ADD07C26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505520"}}}}}