{"entities":{"Q7010083":{"pageid":21563442,"ns":120,"title":"Item:Q7010083","lastrevid":81644018,"modified":"2026-05-06T19:00:33Z","type":"item","id":"Q7010083","labels":{"en":{"language":"en","value":"The need for compositional proof systems: a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013869"}},"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":"Q7010083$720FEC37-D614-4D8C-82DA-8B19688C5889","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a75816f46de57243982d049093828d280c98c5b","datavalue":{"value":{"text":"The need for compositional proof systems: a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010083$77784ED3-54E2-4B96-9669-AC5A030D623B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"763ab9539941b43bd06f8f0ba7143a0f512e6e0f","datavalue":{"value":"1566.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010083$46C1DD2F-EA34-4AAC-A665-90C181EC9900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b41db54b68467d1b9ed00064f991aeaf26558250","datavalue":{"value":"10.1007/3-540-49213-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010083$5B735EEE-73F9-4485-8B3D-9BD8AD148ABD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a33e668865998ad06e8768f6451ffff95432cb","datavalue":{"value":{"entity-type":"item","numeric-id":967529,"id":"Q967529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$BB3AEEBF-CB24-446A-9550-8A6D1D108997","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010083$E9C1E953-70C1-493D-8E77-A7AF74F221F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010083$1078ED11-AEF3-4E72-8582-9DBDC5F8A252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010083$C930A187-36F3-4529-A3F4-A87BBC3035F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c9565e0dd115b4c79f383841b5a7d3c11855646","datavalue":{"value":"8013869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010083$759D45B4-BD90-46D6-88D3-7A46ADAC9FD8","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":"Q7010083$78978734-0D90-4992-9CB5-EFC75B35C82A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$921B7E21-B401-44F1-91C1-30FEAEF5B71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$B01BBA5B-42BF-46B1-9041-E3C7C219186F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$78DEDF2F-28A0-4AE8-A249-A398D7914439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71372fdcb48501c76512b55e87a54968a7919d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$0C1DA330-BE7C-4D88-90C2-684DDE048FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$1A7A0A48-0B91-4710-9BB9-D5B3873DF334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$FFE178E5-3E41-4D5E-BB1E-8BCE420AD3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52b6235d0b1ae67d017ad3c8035a0dc3dd6de9","datavalue":{"value":{"entity-type":"item","numeric-id":3680252,"id":"Q3680252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$C8B03CD4-6F1C-4455-B4B9-BD64A874C349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9b16d7ab92cdbe05ebac29d378ed56a9ee5c06","datavalue":{"value":{"entity-type":"item","numeric-id":4338866,"id":"Q4338866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$C74003F8-AE7A-4E21-9D39-85F325E97D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$998C15AF-2651-4DDA-A7EE-B28195712F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7f4160bf195ff46d24997fcffa2a7e2f623cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5044739,"id":"Q5044739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$30BD9495-FA04-4BF2-8095-E85FFDC38283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25a878a5d568a448d9622bfc8d7dfca501f7dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1321833,"id":"Q1321833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$4C919AAB-CDEC-4E69-991B-FA1CB2A789F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128e020ba7fd715406da6da5c129f63f6a4f81b3","datavalue":{"value":{"entity-type":"item","numeric-id":4004235,"id":"Q4004235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$FB81619C-9A07-4002-ACC4-180A1364A798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed32be8eebfa939344026e8c9cb301f260248e08","datavalue":{"value":{"entity-type":"item","numeric-id":5548674,"id":"Q5548674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$51FD191D-6B33-4F82-8EAF-F32543CE178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$109947F7-D16B-47D2-9760-3F94CFC6D99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9143b9caec2c35ed69b6720f87afb357eeeb92","datavalue":{"value":{"entity-type":"item","numeric-id":3962450,"id":"Q3962450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$C01739ED-44E9-49BE-A5CE-66D629A5E828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fb5e3541322839427c293390ba56ffbfbb55dd","datavalue":{"value":{"entity-type":"item","numeric-id":7010075,"id":"Q7010075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$9407D548-8B28-417B-B531-34C427E37F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd313f43c96a97b84c38be2df5fb6f2e428221f","datavalue":{"value":{"entity-type":"item","numeric-id":4873997,"id":"Q4873997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$737FDBA1-1D90-4CFF-8435-5CB07A2FA7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8607e5d44a7fd9a8711e75a7c39fc8fcd11d1a","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$2D985A6C-68BE-452C-812D-6DEBEDF9B3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$AF98AB81-CFAB-4BF9-A212-76B4CA7D2145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a1524e69f50a2385696a05b0517bee6d32e1d4","datavalue":{"value":{"entity-type":"item","numeric-id":4003356,"id":"Q4003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$0E21785F-8D29-4809-9EA2-C450B6017CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504bab4152ba47248268d37300fcf139e461602e","datavalue":{"value":{"entity-type":"item","numeric-id":4727411,"id":"Q4727411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$B0AFE505-CC56-457C-A4EA-CAE010A898D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e3cde2fb539502d50eb062bc0a04548ee9a5f5","datavalue":{"value":{"entity-type":"item","numeric-id":3731019,"id":"Q3731019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$0564BC1D-F832-4762-B354-195EA5784E8A","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":"Q7010083$77C009E5-8A93-401A-B7A5-ED96E62EA015","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":"Q7010083$D8FBFA28-C5DA-4E3E-AA08-163DD6E108D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16affc2631ede132014c021413b2dd6df26cf110","datavalue":{"value":{"entity-type":"item","numeric-id":2956677,"id":"Q2956677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$DF8DD212-98ED-4638-B0D8-21F83C18DA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d844e9b0bbca57d84dcca816adb08449eb3aee72","datavalue":{"value":{"entity-type":"item","numeric-id":1194330,"id":"Q1194330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$1887175D-5843-4F12-A562-9AA58F71C2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$EFCDCEB0-A6AB-4856-B6CC-2219F10E4D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ddc1d6756c2703186d6cf75fc6703d1294a443","datavalue":{"value":{"entity-type":"item","numeric-id":4312485,"id":"Q4312485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$98EFD782-CCE3-4349-9ADC-D925A97A4625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b1b225889f83bfada58658525bacbd896b00e3","datavalue":{"value":{"entity-type":"item","numeric-id":1088404,"id":"Q1088404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$F529C669-B164-4A2C-A7C0-BCCE29957642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0817097b6d61530cc9a7e9ec3f78c24eda4ab674","datavalue":{"value":{"entity-type":"item","numeric-id":1153686,"id":"Q1153686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$ACD370DB-5DED-495B-A52C-0615A3B84295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f2252645c86ab2e8431b6eb4db90943ca6fffe","datavalue":{"value":{"entity-type":"item","numeric-id":1177172,"id":"Q1177172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$0EF36327-C793-46B9-9566-031DA36A44A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$EA19ED75-DCBD-4FC9-8209-D4A15D50AC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$844C31BD-0BA6-47B2-80AE-77E7D28CBCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde045b24e5733304e6158232d5c00f44b63c189","datavalue":{"value":{"entity-type":"item","numeric-id":1079948,"id":"Q1079948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$656C57D1-F314-4E55-9FFA-7005378E6EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$11002445-4780-4F3C-BFEA-E92B65AEA432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be572008d10adf94cdc4fdeef8a3c11f1c72172","datavalue":{"value":{"entity-type":"item","numeric-id":3666272,"id":"Q3666272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$BECC4FB6-46C2-43B4-9642-9444F60A5DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e02d028d2e6f20c848d305126b44b69f277975b","datavalue":{"value":{"entity-type":"item","numeric-id":757079,"id":"Q757079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$AFD437A4-BDBD-4D2C-8A2D-012A675CD6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$24585E9A-A351-4560-9F76-68E1CB2CDFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064dfd0aa126ad0ce16fd48678e60f8eecbb6c11","datavalue":{"value":{"entity-type":"item","numeric-id":4348472,"id":"Q4348472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$CDBC48B3-EEC1-41FC-B043-EF95DDC229C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b524155ca812bee0e1b7f8a0a6113b4062250caa","datavalue":{"value":{"entity-type":"item","numeric-id":3330490,"id":"Q3330490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$119D6AA2-8A91-4645-91A3-9D8A84E469A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d925545028cebbe906f88a63611519e302be1c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$24BD7135-FB7A-4395-A756-585FF7AE7E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb1bb6972c34ba87ead8253e3bd450b22dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$2EF5B367-6926-41AC-9464-39EBCBB4C270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b128595e2f50d35c99036ebd76df5d5e493730f3","datavalue":{"value":{"entity-type":"item","numeric-id":4593944,"id":"Q4593944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$9D57226E-8BC2-4F50-8C26-F35761C032FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98156a3f0e2f712725398635acd6ee1c2c736047","datavalue":{"value":{"entity-type":"item","numeric-id":4349581,"id":"Q4349581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$42EE47BA-33C6-4CFE-8E98-1986F33860F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$4BD3485B-5BA3-43FD-B1E1-BD6B3162F375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff62140eeb5f2eafea10c7a766748f18578c29e2","datavalue":{"value":{"entity-type":"item","numeric-id":3347278,"id":"Q3347278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$A6C43A9B-2DC9-4AAB-B126-68008EA9390E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a98806b17c2bbcd29d4513072d41db9b6317d23","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$537F794C-AB96-4297-B284-B56FAE9857F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b90e5e78753e4db60001a1b70f1382735db1fa7","datavalue":{"value":{"entity-type":"item","numeric-id":2956676,"id":"Q2956676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$2E303696-EA1B-44AE-B995-823BC8585C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e9aeb250aee552f9c7acabe3d57da193b2393","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010083$FB7F90D5-BEA1-4FF4-8F0E-5950953E5C55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The need for compositional proof systems: a survey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_need_for_compositional_proof_systems:_a_survey"}}}}}