{"entities":{"Q1355748":{"pageid":1366487,"ns":120,"title":"Item:Q1355748","lastrevid":67224849,"modified":"2026-04-12T16:11:45Z","type":"item","id":"Q1355748","labels":{"en":{"language":"en","value":"Formalizing process algebraic verifications in the calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014239"}},"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":"Q1355748$38898039-8743-4CB2-B990-2CB55FDF6900","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad8ce79a2fe0052db9e9382d0fcab4955489ed33","datavalue":{"value":{"text":"Formalizing process algebraic verifications in the calculus of constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355748$58309F01-B0C8-46E7-BABF-27ED3563E509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f20d71d4016acaf7ee6683cb6fa6034375841c90","datavalue":{"value":"0868.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355748$73C1B8A8-F788-4B2E-97B4-4F3E6AFC3FF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"515dd1bd1cc8dda4984e1a465de45edebe7a56ad","datavalue":{"value":"10.1007/BF01212523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355748$D0F4C594-7012-42EB-AEC8-BE4454CB0882","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$B783CE00-1E3D-4F79-8D36-408926AA00A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$419D9B09-B63C-4BC6-83D5-7212086D3F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bfdc48a476a11696af46ca3d91472b4be06847c","datavalue":{"value":{"entity-type":"item","numeric-id":1177922,"id":"Q1177922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$97CCAE26-3AA0-4C22-BF65-EE5F73A663C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$973A584F-7FC0-4AEF-8A3E-963A49190520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"238dffa3abfa32d2f3f435b98c739e32735e84ac","datavalue":{"value":{"time":"+1997-08-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":"Q1355748$F8E207E3-9FCC-4C26-890E-E5AC3B2B3F14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355748$1FF26FC0-43C5-4D3C-8175-388588D86ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c66958b9c58ca1bbb06cbcce0789cff16508efad","datavalue":{"value":"1014239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355748$C43E1C06-3D97-4FAC-9E6E-6E0C22155142","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06dacf54f2b6d6a113f47a7b4aee1e9d715afb58","datavalue":{"value":"alternating bit protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355748$3A298E72-3B59-4F55-9BE3-6755482A484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355748$679FB112-40CB-488B-8AB1-217ADE4571EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f0073f78943529cd8fafb2e821320fe0a2f3bd","datavalue":{"value":"real-life protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355748$23DF2E6F-0A62-4B17-816E-C7425CC3F993","rank":"normal"}],"P1463":[{"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":"Q1355748$8C80DE1C-C481-45C3-B918-3CA919BC44B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$B02BEE27-BC1A-4DA4-9AA4-4032A3EBCF28","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":"Q1355748$EAABE552-3030-4747-AEC1-261AC0BE89BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a32b662cb24ebd253010e4d2dd1171bea9b2c50","datavalue":{"value":{"entity-type":"item","numeric-id":1914041,"id":"Q1914041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$B8C8931F-1033-441E-A1D7-0C3ECC271D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1312d69afa79930b58aa9f79ad23ca7b77f5ee88","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$A3CF372B-DF47-4868-B500-C0F960C88821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8636ac1d2a9f37f15d6d5d220d6ac5ccfb68c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$CDD1F068-394A-4D3E-ACE9-F5C6D464EAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$686B9D4B-8EC6-4813-900A-FC4A9EE23BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$C85FCC49-4760-412C-A242-1DF6B811E260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d444be6a5a5b9e0b68d42e9bd593ab81f7e6f11","datavalue":{"value":{"entity-type":"item","numeric-id":1124322,"id":"Q1124322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$B98DAC09-84E3-4269-AE1D-C7E19659459F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$8A5660CA-FC58-42CA-BD13-DADCEC0C9A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855be14fb53cf1655d81fe8552b83c8c97789269","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$9A5635C5-3406-406C-9AD9-5670C0604773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5a35c7856f8200429b3fd978a4da3e74e4ac06","datavalue":{"value":{"entity-type":"item","numeric-id":4490726,"id":"Q4490726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$EF93D16E-F3B7-47C5-BFB9-77F0AA7D4580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d38293cc06627b45c6840e21e0f7cb4f5b5bf0e","datavalue":{"value":{"entity-type":"item","numeric-id":3814780,"id":"Q3814780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$21E506D3-697F-448A-9141-001BD4FE1DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b4c95f53b57f2eb31607a9241c4b370cdcd831","datavalue":{"value":{"entity-type":"item","numeric-id":3939208,"id":"Q3939208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$86D2C90C-007D-4A88-B49E-BC1F0B04B37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$6C809F15-31AD-4C52-AD83-9CF07C92E1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$7288EA57-B049-451C-9016-5984E50F808F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b5751b45cbfb1649dca4cccb063f8ab1d3aa550","datavalue":{"value":{"entity-type":"item","numeric-id":4312490,"id":"Q4312490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355748$85381DC6-2342-4F53-94F9-C5B3CF1D1B2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11d82af822d35483b6179ce6a629b1382c073f62","datavalue":{"value":"https://doi.org/10.1007/bf01212523","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355748$32F063F5-5821-4121-A0FC-28967EFA2ADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8a76053ce255465371495aa1ffd9d0d454a7b10","datavalue":{"value":"W2912259090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355748$0C3DAF90-5587-4F56-B0B3-EFEC4FFDBADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5ab6fce12ac3d4a28e92f06d387b18aea79387","datavalue":{"value":{"entity-type":"item","numeric-id":4312490,"id":"Q4312490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a1228b94e52bf03e8cdb6b0a0bebfa2e32e0c7","datavalue":{"value":{"amount":"+0.8533475995063782","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":"Q1355748$95BE9541-EE81-4E66-B676-64013A356DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9063ce4f8ee99742dba24e7a6d1df1ef75eacf","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8de70f00c16c0c0e7f872465c957fc2ff2cb4c","datavalue":{"value":{"amount":"+0.791928231716156","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":"Q1355748$C79B0E16-C57A-42A6-9E8A-5D4238EB665A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877e985b3380fe71465aa52cef28be711fc2e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ce07c91e35437224311b5316bdcf29e2bf3c5a","datavalue":{"value":{"amount":"+0.78620845079422","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":"Q1355748$314522AA-EC26-4986-A5B7-50C617E4746C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing process algebraic verifications in the calculus of constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_process_algebraic_verifications_in_the_calculus_of_constructions"}}}}}