{"entities":{"Q1887136":{"pageid":1897878,"ns":120,"title":"Item:Q1887136","lastrevid":71064522,"modified":"2026-04-13T19:14:38Z","type":"item","id":"Q1887136","labels":{"en":{"language":"en","value":"Secure mechanical verification of mutually recursive procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118402"}},"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":"Q1887136$C1BB0943-3637-4460-AD4F-31BD6EA2AE3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dff8b7ade2b073d5b9cd97d26650893000fd58ab","datavalue":{"value":{"text":"Secure mechanical verification of mutually recursive procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887136$CAA2E5F6-D2A7-4D65-A6BE-D9AFCDDB8C44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0ceea97f52e279f4504545ab721dda94769fead","datavalue":{"value":"1075.68615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887136$BA8EEB75-F95B-41B4-A46D-FA1DBAAB2F03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adbb608b105db96ffa9633d9e7f0ee95038c1587","datavalue":{"value":"10.1016/S0890-5401(03)00133-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887136$C0417B76-91E2-4067-BB8A-A49600C6AC4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30571cb690398849c0604e122d31faa0b2492672","datavalue":{"value":{"entity-type":"item","numeric-id":1887134,"id":"Q1887134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$FCE6450C-2311-4C9C-B10E-D226DE819895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbff9cb0a6dcc21882cd61445624ac87c8bb4db","datavalue":{"value":{"entity-type":"item","numeric-id":1887135,"id":"Q1887135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$8F1E0AB6-D201-4F0E-A441-A2AF907ABEE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$9CA30704-5536-4960-8E5B-01EC6436C728","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887136$FAF07D6D-24F1-4395-940E-9CAB1CC3B77E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887136$76C91342-803F-4F82-973B-0DAEF0B01A4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"809634e8e87ab80e480df7bc49ba4127dbaa3377","datavalue":{"value":"2118402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887136$F5C5CE07-9014-4B33-BB1E-23FC0C901C39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$E1CF0A7E-3F49-43E1-BE00-06BE09C2C973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$BF8E1667-876D-4070-93E2-A997611E3EDD","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":"Q1887136$0CDA3268-9B8E-462D-8553-03CDBD841A72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$0D55B689-01CB-467C-8A48-FA7AA1BA442F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$05D77A42-F93F-488F-A1AD-74F7DA0C3535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b7e8541b8bf7dc514993aa6ba095a6f824bbca","datavalue":{"value":{"entity-type":"item","numeric-id":3922131,"id":"Q3922131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$61F9B56C-0EDF-428B-B84E-6D6CECFF8F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e10e9078af77fb1b514c3322c4c3e09d63456c","datavalue":{"value":{"entity-type":"item","numeric-id":4151142,"id":"Q4151142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$303876AC-3AE9-420F-BD34-A44EB645C499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28430ed9b4f7a26aeb0f032922db74966365595","datavalue":{"value":{"entity-type":"item","numeric-id":1843170,"id":"Q1843170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$BD5AC0E8-AEDA-4B85-888D-09EC19689F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ac7b93b3fb904267542dbd0727427e6a4861bd","datavalue":{"value":{"entity-type":"item","numeric-id":3912005,"id":"Q3912005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$2D607690-AC22-4665-9DB5-E7CAC1FED249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06bb1394bd77e254671df96ee4ca31515f317d10","datavalue":{"value":{"entity-type":"item","numeric-id":793507,"id":"Q793507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$92F47469-2826-4DDA-AA76-B1DFA0ED9A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f149ec444851c81f8f28cc669b90ac06bcf6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$EA1685EF-C5C4-4F33-B686-1AE78D8B4AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887136$79C2F895-918F-4B73-835C-1BA98BC61D20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ec0df6d73828d5ec403ae3e6c35a83d77a285","datavalue":{"value":{"entity-type":"item","numeric-id":4647514,"id":"Q4647514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5d952303e599e5d6b30d7720d430b7bf047a0a","datavalue":{"value":{"amount":"+0.9467114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887136$3E62C47D-0D7D-4EA2-A81B-B0340FFF4D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ea166715a651b57d0d53c959094461424595c7","datavalue":{"value":{"entity-type":"item","numeric-id":4418691,"id":"Q4418691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262e5b169211c56645d24cdd70809057e0a9b1b2","datavalue":{"value":{"amount":"+0.8781388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887136$C449B370-AD93-4556-820D-7184060B4F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05fc499e902fa411e1452656893b4ab533ffaf2","datavalue":{"value":{"entity-type":"item","numeric-id":2760869,"id":"Q2760869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3d67f1fa5a913f6bd274bab593c97b1c851e1b","datavalue":{"value":{"amount":"+0.8719351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887136$07E93D4D-87A8-463B-ABF3-5AF76FC839F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd61de02ab022b2df42d3efe71626fe9c443d90a","datavalue":{"value":{"entity-type":"item","numeric-id":3630170,"id":"Q3630170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb12fc1e1606f293071f95f9fd0cc22d21cdc5e","datavalue":{"value":{"amount":"+0.8685903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887136$1ED88736-2E78-4CAF-A352-24DB385814BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b79a016208c97e6280cd14cf9dfcf22556dab8c","datavalue":{"value":{"entity-type":"item","numeric-id":2482454,"id":"Q2482454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef31ecc2c6a5878209cabccb31160ab3ef0eda1","datavalue":{"value":{"amount":"+0.86316067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887136$26DF06FC-ACEE-4403-8D12-E67C6CCC8F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09da22a5e9d36dc473c65f2b481878f0117512b8","datavalue":{"value":{"entity-type":"item","numeric-id":4804905,"id":"Q4804905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2814460983d736247d47d64d6223f269ce2c70e3","datavalue":{"value":{"amount":"+0.86115676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887136$634F52DA-90E9-41E1-92AF-CEB7901359B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e23925897fc5eb5e368b5103bf38f3ebd06bd4e","datavalue":{"value":{"entity-type":"item","numeric-id":5316562,"id":"Q5316562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d334a15e2082093b28a45764280f6617750a7b","datavalue":{"value":{"amount":"+0.8597413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887136$0527D244-02E6-45C8-843A-91F8AD2FCE8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Secure mechanical verification of mutually recursive procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Secure_mechanical_verification_of_mutually_recursive_procedures"}}}}}