{"entities":{"Q6646014":{"pageid":14257169,"ns":120,"title":"Item:Q6646014","lastrevid":42402054,"modified":"2025-06-15T02:13:59Z","type":"item","id":"Q6646014","labels":{"en":{"language":"en","value":"Implicational Kleene algebra with domain and the substructural logic of partial correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7951655"}},"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":"Q6646014$5942E129-D522-4C71-A0A5-28B3F6629341","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8f5a1c16bd3cb214f1894ecc500ed25178f1020","datavalue":{"value":{"text":"Implicational Kleene algebra with domain and the substructural logic of partial correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6646014$DC7B9FD9-BE46-4887-9155-934DCE99A50C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09805c4574013ec5efe52d1a718be5de2476fee3","datavalue":{"value":{"entity-type":"item","numeric-id":777890,"id":"Q777890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$322BAF08-847C-4E96-B11C-B0151D70FE73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$30DBC22A-30F1-4673-8B5A-D8AEE6592248","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81a4e48e19408941bfb821094a9f7556c0ec2cb3","datavalue":{"value":{"time":"+2024-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6646014$3612C60E-F0BA-4096-A357-A440C1C71AA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6646014$749CD34D-6488-4A8D-80BF-F61E3AEF647D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e5b0ede62ab3f76e639a90e85f813188fc057e8","datavalue":{"value":"7951655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6646014$D3E140AC-7F0D-4AC1-A5B4-6FDE25358D48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6646014$E069E79B-A5EB-4501-B85C-C2CC317F4294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6646014$455DEE71-A80D-4AF7-9A7F-2C4EB4D82CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6646014$138ABE51-0A94-4FE1-88B4-52775FC36AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6646014$368B89AF-FBD0-4BE3-BFBD-BE8C9DE318F5","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":"Q6646014$C4AA2A9B-91B2-4B89-9759-1CA0CED1AC9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a45d66b6e8d4e0a782173f183a0bd543644409","datavalue":{"value":{"entity-type":"item","numeric-id":2255197,"id":"Q2255197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$4499A0F2-AC84-4E56-A41D-AA179FF5554C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9291780fa49d906483f3b2217ba1558a6098769","datavalue":{"value":{"entity-type":"item","numeric-id":3437263,"id":"Q3437263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$338179E8-F110-41BA-A453-C8E3A04AD7DE","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":"Q6646014$B3D8D5D5-F2E8-4DC0-AFEE-6393E0478E55","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":"Q6646014$FD20AF4B-DECF-4D6B-997F-F4DBD0A433FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$719C076E-09AD-44FD-BC40-74CEB6CAA4E1","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":"Q6646014$7E801FB3-2B14-4AEA-9543-98A6839E1F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2dfd1e259262179d91ec21c2adc91e97790347","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$B4FA1AC6-BA1F-4E0F-930B-C2254F89BB62","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":"Q6646014$4E298A4E-E1E9-4C2D-AA0B-111EDDF4D7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b505b8d56ce32f5bd927de5ce0f364ed7bc3b98a","datavalue":{"value":{"entity-type":"item","numeric-id":1371311,"id":"Q1371311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$08458594-DA92-4A3D-920C-FA9FCBDDF606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50265c5c9fafdd9f030c92675110e38ea46258d9","datavalue":{"value":{"entity-type":"item","numeric-id":1826932,"id":"Q1826932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$15BFCED9-1B8A-4C8E-B614-D05ACBFF0D19","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":"Q6646014$DB60F0F5-8905-4EA3-BEAF-6100CB4CA73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e54a01d8a977ffbf68bd945a598c7f0f888b33","datavalue":{"value":{"entity-type":"item","numeric-id":2506487,"id":"Q2506487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$F5BE1548-F5CE-43B1-BB65-71B14D2BE358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$93CB0565-E8FA-4426-AB0E-007F437B5A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1358697765dcf85a758449b77a558fb086c297ee","datavalue":{"value":{"entity-type":"item","numeric-id":5267434,"id":"Q5267434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$0E2F4D07-972E-43D7-BDEE-8DCB13E82EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476ec162b1325ee688bc547d2e9b6993d2ba1361","datavalue":{"value":{"entity-type":"item","numeric-id":3590769,"id":"Q3590769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$B3305ACA-944E-4A6B-8DE0-1D96E98DBC6B","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":"Q6646014$485BD7B1-634E-452B-9D55-510F2A21EAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3de43fa3bac9cd536a3fdee49679de53a5fc55","datavalue":{"value":{"entity-type":"item","numeric-id":6174424,"id":"Q6174424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$9DB1F71A-E27D-410C-927F-37AA1790E0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48d93fb0eb894abcd0a09f7109f057cc9662066","datavalue":{"value":{"entity-type":"item","numeric-id":6160745,"id":"Q6160745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$F8014195-46E7-40C9-A51A-5478379E7C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e8651d42ea7152b26ae0b9910092681b17dfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4325792,"id":"Q4325792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$6B65C1CD-D4F0-4FF0-A2DE-A3E3AF3BD7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$571038AB-7D45-4A75-A2FD-8CA4C24B4C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea69a0835af0bcf6badc8cb25671d6608e2596a7","datavalue":{"value":{"entity-type":"item","numeric-id":1371310,"id":"Q1371310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646014$BAB13E8D-774E-44EE-9F62-2E0836A07AE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3847ea07b96512a2c27ab54551ae55883aad0306","datavalue":{"value":"10.1017/S0960129524000045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6646014$08AD3FB3-749D-4113-BFC5-00C947CA680B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6646014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6646014"}}}}}