{"entities":{"Q5038461":{"pageid":7068038,"ns":120,"title":"Item:Q5038461","lastrevid":57312354,"modified":"2026-03-30T09:27:06Z","type":"item","id":"Q5038461","labels":{"en":{"language":"en","value":"Verifying Catamorphism-Based Contracts using Constrained Horn Clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7595325"}},"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":"Q5038461$E929208A-55DC-4883-B2EC-093F6AFB5126","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d1961478daf535412ba259336f5f431bdd4dda2","datavalue":{"value":{"text":"Verifying Catamorphism-Based Contracts using Constrained Horn Clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038461$ABAA1155-4A16-46E6-90B2-C73BB5F57418","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7428fcf752e3e9da45d0c969a36ea870f3e05ba8","datavalue":{"value":"10.1017/S1471068422000175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038461$0FBAA056-EBCD-4C70-9634-15EBBFE162F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$D4B49C0F-FE88-4A60-B6E4-4606160D4669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$2C1372E6-227F-445D-98F7-6BD29E04B0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$9457253B-C603-4A28-A8E2-57488000E8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$5CD6B6EE-D03F-489C-BAC0-AFCA14D63CC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$4C8B016A-47CF-4950-B4A3-CBD87716C78C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9283dd817d2ebf256bf865a5d69ed7b0c35a3bc5","datavalue":{"value":{"time":"+2022-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5038461$E0290B72-C165-4691-88AC-8DC0F41E5890","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"112a9b90270a6fb4855602d34037eeb80c29bfaa","datavalue":{"value":"https://arxiv.org/abs/2205.06236","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038461$09E20DDE-F1A8-4A41-8F2B-32E19ED353A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038461$D31C17AF-9302-42EE-85EA-B1E352B873CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a96f9634e4caa4f989e5edb2894ee73d8c0031b","datavalue":{"value":"7595325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038461$394A4D27-63F9-449B-BF73-87D716F8BA32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038461$577865D0-D024-4A7F-AA31-E37CDBC6B230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca9d50db1dfae5b9e3f00a896c80d6fbe7b0364","datavalue":{"value":"analysis and verification of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038461$782C012A-4603-40C3-BA80-9D2E8354710D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038461$711A787C-CBB7-42AA-A625-0EF2F484D23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038461$E9D359C6-0A06-45D0-8430-C7BB14839C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e0de32a4c7fc556ad371487b32f353f10a043b","datavalue":{"value":"theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038461$F6EF236D-4172-405C-A00B-F1088435A1A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$96C695FF-9548-461F-BC33-F59A397F3CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$379547F9-3438-4997-9B3D-C0ADE66E08FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$8117B020-838A-4861-9FBD-C6EAC52E0AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$91DABE35-5E6C-486C-8941-74F10E5FCB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$488DB2CE-2E96-4874-A4FE-99F0B4D8E1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$07FF30E6-B29F-46ED-B61B-DB89A8CEBBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$1C54BDA1-D139-4E60-836B-E49662399B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$3499F860-7F78-49BD-BCF6-BFBC4EDC3CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7edebecfea0d1be076050d73b49d0bc3b1453ace","datavalue":{"value":{"entity-type":"item","numeric-id":34655,"id":"Q34655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$D8802EA4-BEF8-4527-9E1C-C7FC35A4FFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$55A4D3E8-50B6-4357-A772-D13E6F6B6B05","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":"Q5038461$5B9D9AFC-BBC8-4268-8470-E0D65FE08A84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5cff87553eb91031651e415270aaeec55820cb","datavalue":{"value":{"entity-type":"item","numeric-id":4957197,"id":"Q4957197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$EC9C741A-B13F-453E-A01C-E623F2B15F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$728FB92A-79AC-42C8-A7FD-D7163DFB8D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636c23ce315de6e5313e7895616383007d127154","datavalue":{"value":{"entity-type":"item","numeric-id":3318085,"id":"Q3318085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$EF4D3B67-FF64-4CAD-A3B0-85710E93E2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b579707a4306c9f6e0814fff83d8fe01dadba181","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$5B38C6C3-463D-4B2C-98D6-33DA69E455A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d276863e2ca44c26641da737a6899aa676868d4","datavalue":{"value":{"entity-type":"item","numeric-id":5862477,"id":"Q5862477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$6DA3FF1D-5570-4008-993B-9C2DEC583F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64b95fb93857a7fee214f8d1058a95819db0427","datavalue":{"value":{"entity-type":"item","numeric-id":671648,"id":"Q671648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$20E582B6-E7E7-4BC0-A280-E04411E201C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$8D457372-F107-462A-887E-18EC3C2C42D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$E0824842-CDA8-440C-8956-F96239AADC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$BD05EB00-0B87-4FAE-BD97-0D4A67A98196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b74a02456944dc0517cd2d201677f587f59b119","datavalue":{"value":{"entity-type":"item","numeric-id":5244801,"id":"Q5244801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$0909D8DF-047E-4045-AC3B-C3AD63A4A4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$263409E3-D8D6-42FA-BE8C-A888E9D53BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f2abc654de5d83b6304976ca39829ece176027","datavalue":{"value":{"entity-type":"item","numeric-id":5164174,"id":"Q5164174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$23634696-2789-46FD-9D65-1836FDE4CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$50BBAE65-BD2A-4746-8622-60E26FC86443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a1f57d31f37ba9bd0f9ba09187b833ecd83362","datavalue":{"value":{"entity-type":"item","numeric-id":4645746,"id":"Q4645746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$8E088A8D-DA60-4079-A17A-BBBC2A197A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45257427f1c898e38d1cf92e2ce75479fe512111","datavalue":{"value":{"entity-type":"item","numeric-id":1694026,"id":"Q1694026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$9608BD2B-626B-4BA7-A38D-23F1CB60E0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$335FB8A4-9301-4343-B597-7F90D2F9613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0896ea051424571856b7af2d59c1ac59a09686","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$8B92C659-DE87-46FD-9C6C-2EF3416947A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c2af6114a325d3ba9d32333a59af45d2f625","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$87586A82-61BF-4702-81BF-17592B08F05B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d3619edf73c529e54d484b993349f99f57c600","datavalue":{"value":{"entity-type":"item","numeric-id":5862477,"id":"Q5862477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c1439f05b716b3b133f898668325411c4663d9","datavalue":{"value":{"amount":"+0.7985081672668457","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":"Q5038461$B1071C1A-024A-48E5-B780-085275E2BCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802b0d11e10a35c0034a9cc107935f78e296a76e","datavalue":{"value":{"entity-type":"item","numeric-id":6174408,"id":"Q6174408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ca5810a48b03e9289b26950c7aa646f843be9c","datavalue":{"value":{"amount":"+0.7681698799133301","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":"Q5038461$F177B96A-D4FB-4D66-A3F1-BDF01D7491B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75868a3bf204a6bf4c593cce4cab82fe98820348","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd84ae17f252ca27616fbbba7e2fc2484a8ee34","datavalue":{"value":{"amount":"+0.7667381167411804","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":"Q5038461$8C449080-383C-4A71-AD12-E7B869635112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d029eaa256dcadd504eff29734e46b2e1f7a941","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc39e953ed5752f07bb84b0441f663833659e62","datavalue":{"value":{"amount":"+0.7344512939453125","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":"Q5038461$51B894EC-671F-4089-AFC9-60E37FE06B1B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038461$AB0BF5EE-6C10-4DE4-B0ED-91AE3FD7ABE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5038461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5038461"}}}}}