{"entities":{"Q43942":{"pageid":43998,"ns":120,"title":"Item:Q43942","lastrevid":105428411,"modified":"2026-10-09T10:09:46Z","type":"item","id":"Q43942","labels":{"en":{"language":"en","value":"KAD"}},"descriptions":{"en":{"language":"en","value":"AFP entry KAD"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"391061708eb3d6ad291e5e6e6e64791fc6acd3f3","datavalue":{"value":"32231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43942$61700D00-BD5D-40A3-96F3-9AB1F3F561B8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$838C2198-482F-41BB-B1C4-6FBE1F7AB3CD","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"d2a870d7cc7ff6be75b3a92874c460da48ebbb76","datavalue":{"value":"https://www.isa-afp.org/entries/KAD.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43942$74AE1FC2-C2B3-438D-BD52-244D748F4ED6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43942$3DF3F757-4E4A-4634-B3A8-5645A306CF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43942$E1D34822-6B19-474D-982F-C9437C12D3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43942$A7F7E8D5-5DD2-4387-B41A-9A8FBB492C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43942$42F838E9-0410-43AA-ABA6-EBBBB1B1D22B","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$F18CD3B9-F90F-4F8F-8BBD-60B6AD276F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$D856034D-8FEA-4106-9E31-8E2B67E1A13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c40ffea6bb23c071d9036451e5684911d5c616f6","datavalue":{"value":{"entity-type":"item","numeric-id":40314,"id":"Q40314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$31157EC3-60B9-43B1-927F-A0FC4E344C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$69B07B94-08D0-4B9E-8C8E-8E65069734DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$294DD69E-4FAE-4DA1-A819-C0948ACF2A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$6F8749D8-8124-4D5B-9FC0-93F6751E0015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c1585ec43c4b9edf59fbea0f64f76002c1f698","datavalue":{"value":{"entity-type":"item","numeric-id":43914,"id":"Q43914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$026E4338-78E5-41FF-AB9D-5627AD9E8703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f659a0f84020c7c9cd05ca15cec41dfa781088c0","datavalue":{"value":{"entity-type":"item","numeric-id":35704,"id":"Q35704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$60A83F14-9038-4423-9E01-5C9B2E4C699F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cf16ca8b4217a77a4217a7973bcd79e35c3e2bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5974121,"id":"Q5974121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$765E141B-35DD-4A1F-979C-F3C4B3F943FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f37aaa72463d35f8933622cc257886a0465bc696","datavalue":{"value":{"entity-type":"item","numeric-id":5972481,"id":"Q5972481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$D7AA929E-BE30-4632-AB0D-1A81C74AD1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"181a8497f7a319d54026dcfccf5a714e5c58403f","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$13AF56DB-9979-4FD0-B88F-C423AD36478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1718a76c81b10dcc81cbdbe69fc8fe178db7b09","datavalue":{"value":{"entity-type":"item","numeric-id":16299,"id":"Q16299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$EE9A523E-AAB3-4575-B74C-BA59D5A1A679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6ea1daaaad60197d0d83fc7ac701579957406893","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$5F674E99-2A66-461B-8483-3AF604F58B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"deb8ff1d94ce91499b3c889ad52e2af0d30c31a1","datavalue":{"value":{"entity-type":"item","numeric-id":43956,"id":"Q43956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$67C524C0-E79D-4186-AC82-1EA936463FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c59d46165b4eb2bb811e83cf8d5f0edfc7f164a8","datavalue":{"value":{"entity-type":"item","numeric-id":43928,"id":"Q43928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$E1C43E04-718D-4FF2-8B77-CD4C81577CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"411138fa9472ce40b1eaa8986ea45be52fe481ce","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$E03B09B1-53BA-4099-AA45-44C600CBC22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"255d1eab6148b0a0149f5ba251f819f772375a4c","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$1F03F876-D07F-4E5D-B907-944D38978A8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f0c198031b696b82f0b3f9eb5f328a9908beec8","datavalue":{"value":"https://isa-afp.org/entries/KAD.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43942$A4CA1891-E022-41B8-A90F-D97123DB8AEA","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"cebadfd7b78bd04e93befe8d7c5151d4488b7f71","datavalue":{"value":"Victor B. F. Gomes","type":"string"},"datatype":"string"},"type":"statement","id":"Q43942$B1BBFEBC-E261-4527-A02E-277E9A9AD478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3c617235e619eef98fa14e39d518bd5dd86d6a82","datavalue":{"value":"Walter Guttmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q43942$BFC4657D-3735-44C8-8511-82F1B4639272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"764f505c166c35794d03c474c0f8d7e266076240","datavalue":{"value":"Peter H\u00f6fner","type":"string"},"datatype":"string"},"type":"statement","id":"Q43942$2AB9F462-9102-4450-AC51-4F636752F3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"791c9af3f632028a8094f425e13128d157950d83","datavalue":{"value":"Georg Struth","type":"string"},"datatype":"string"},"type":"statement","id":"Q43942$27CF70F7-3088-44D3-915F-E4CFCFA4330F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"2f854883aaf7cde2ebd962b9b518c74b730cb624","datavalue":{"value":"Tjark Weber","type":"string"},"datatype":"string"},"type":"statement","id":"Q43942$0EA5F06D-CF21-48B8-8583-5535E2858846","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1965af0ca779b02b9e4092bab59fed590ba6f856","datavalue":{"value":"Kleene algebras with domain are Kleene algebras endowed with an operation that maps each element of the algebra to its domain of definition (or its complement) in abstract fashion. They form a simple algebraic basis for Hoare logics, dynamic logics or predicate transformer semantics. We formalise a modular hierarchy of algebras with domain and antidomain (domain complement) operations in Isabelle/HOL that ranges from domain and antidomain semigroups to modal Kleene algebras and divergence Kleene algebras. We link these algebras with models of binary relations and program traces. We include some examples from modal logics, termination and program analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43942$91640F0D-4E4A-4FEF-A42F-5C61F3706D2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b2e611a60bbb1cbb1ab23d8301e40dbbe2b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2915136,"id":"Q2915136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$28C883CD-7CDD-4C0B-989E-AEC668564857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$071DE72A-63C7-47C9-8E4C-862637F376F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$981911A3-C59D-498F-B481-6939873B84EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$53F77784-0CFE-4542-BA59-F109FA5EED2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$6FA37073-810A-43DB-9A39-974D5A6FB739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$9E33F1FA-A04C-429A-8022-8F5FB0730B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12fe299e2acf1d80201c464e52b99b82f6c1b5e","datavalue":{"value":{"entity-type":"item","numeric-id":3630173,"id":"Q3630173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$A1F06436-912A-42BF-ACB1-154768535D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c9d0d67c2f80493f5ff1d22671474150009cb1","datavalue":{"value":{"entity-type":"item","numeric-id":3651509,"id":"Q3651509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$4A7D7867-F815-47C2-A66F-C5C092D6BC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$50199DB2-9304-4C24-8591-024F17443097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7893913ac74b7ec3bad95e74075ab9512b7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3003302,"id":"Q3003302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$F869E0E0-11FF-4490-8405-0DD2BF276FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0dc16508877fecb9994b520f0ed77f4ce3b776","datavalue":{"value":{"entity-type":"item","numeric-id":5505433,"id":"Q5505433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$E323917F-8BDE-4A59-9D35-2EC2C9F6C791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$4BE91314-4015-4F84-9C50-88BEE736BEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90ce2baffc43563f7c49b8f5f238edbcb4e1d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1391737,"id":"Q1391737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$79A6CCE2-6A95-4F2E-ADFC-6034108D91B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d033b0480cb3f4fe29c5cd97ee8fdad8a665383","datavalue":{"value":{"entity-type":"item","numeric-id":2908498,"id":"Q2908498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$2F953270-F7FA-4245-BBB7-38A40631A493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23da055412797c29f8737a832166566f69c4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3007567,"id":"Q3007567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$A6D24966-EA87-4BDD-BAE8-0D0B3EF2D634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a16cb3de41ef02b5a9305b03bf26fc821592ed4c","datavalue":{"value":{"entity-type":"item","numeric-id":5277895,"id":"Q5277895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$F6F7114B-B709-4F9D-8C49-FCD1DB319BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$FE13C1F6-18DA-4749-8A0B-FE6D2B52B566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$07521270-50B7-4C07-B5A0-A81766D22484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360383bb8da6b25f21760984236c3aab0e481c29","datavalue":{"value":{"entity-type":"item","numeric-id":604456,"id":"Q604456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$262BC531-FD09-4E5B-A9D8-9D7449F19C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$AAF6FF10-4B56-46AC-B6A5-13ADFEB6A8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$9CA49181-2F98-4016-AD83-E6D80B70E05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$1196C410-C866-4F52-A04A-00EC2456A0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$BF0D7471-31DC-4D5A-8F5E-5F2C4951D6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac0741082eee268d8fb2391d4dc966a1c3f9e9","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$FD83CAA7-B0EA-4FB9-92F6-224CB1961BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e70c7ea0ca2c1202e957f84568392d9e230059","datavalue":{"value":{"entity-type":"item","numeric-id":5387864,"id":"Q5387864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$BF906DCB-E903-4084-9D1D-AF7E383A096D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$04956184-235D-4A08-9A6B-E6315C5950E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fd0f9fd1fa7a2df7613d8bd37ed93de45bc31e","datavalue":{"value":{"entity-type":"item","numeric-id":5278188,"id":"Q5278188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$2E856D77-0369-42CA-AC49-BE975BA33C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6560cb7faf7ddacbb3391ec3e97070336eb2cb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3671335,"id":"Q3671335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$B1F8A06B-0E15-40CA-A05B-4F63B05CB2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$20E54E59-83B5-4FD5-93C0-46B7259843A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db93140569675f5c8c07160bf09fb1adedae60f7","datavalue":{"value":{"entity-type":"item","numeric-id":549683,"id":"Q549683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$FE23D2BA-043D-4B9E-B00B-D1076C391310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6daed1a8fcaca7a71aaae67ae286b4fdbaf987","datavalue":{"value":{"entity-type":"item","numeric-id":817587,"id":"Q817587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$594F637C-2804-4A9B-BBE0-03AFD52B51BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4736b8f52d3360a8824f86f9655f4169ce694d1a","datavalue":{"value":{"entity-type":"item","numeric-id":1931903,"id":"Q1931903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$1989C7C7-9D43-45F2-A127-FEA9ECFFEB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da2e24fdd01894aa0bb79da3299dbde4fd16ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1425190,"id":"Q1425190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$9A551F36-A096-4945-8E80-E0DDD0C1CD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$8763CA90-829A-4D6C-81A0-01E62876CD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7a66982317f943528a01ca680cec7be690c105","datavalue":{"value":{"entity-type":"item","numeric-id":4158997,"id":"Q4158997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$9B20BEDD-1ECE-4D9D-A41A-2DA30D6D0405","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"aa8f6bd5a2b4440f838b34acf103bdf45fee4f56","datavalue":{"value":{"entity-type":"item","numeric-id":7360797,"id":"Q7360797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$8BDD02EC-17BB-4383-97FD-FD915AD379E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$A09B9712-0682-4B6A-B277-5EB695030650","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b8ac6f04bf26e1f508d280fb4a7b266578e64c8","datavalue":{"value":{"time":"+2016-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43942$981AF2D2-D258-4178-9C0A-E724E9270D21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a60b5d928b4568d5be59b323a68151e89311bd3c","datavalue":{"value":{"text":"Kleene Algebras with Domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43942$6411F80C-0382-41D2-935D-0101533DD256","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$31C55923-2040-4D93-A9DF-623BCD9B8A27","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"b1cb988fa001fdc76ae94cba69a4ea7c1fdb0613","datavalue":{"value":{"entity-type":"item","numeric-id":7361763,"id":"Q7361763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43942$35D96089-3F1F-42E6-9A52-EA55A77733D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"KAD","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/KAD"}}}}}