{"entities":{"Q6875012":{"pageid":20746648,"ns":120,"title":"Item:Q6875012","lastrevid":84225119,"modified":"2026-05-13T19:54:19Z","type":"item","id":"Q6875012","labels":{"en":{"language":"en","value":"The flower calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8144626"}},"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":"Q6875012$B1921FD8-8AEF-4BA3-9CE3-8F52980831BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70842355e4e5aeb4528fab5e05780b428763ccdf","datavalue":{"value":{"text":"The flower calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6875012$D344A2E1-F246-4ADD-B6A6-0C4C8AF51777","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d764ec4b27986ba8ccc297347199e5f6f78d65f","datavalue":{"value":"10.4230/LIPICS.FSCD.2024.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875012$74C865AD-FD24-4BB5-8B9A-39046556860A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc08dae130dd591ea3d1e4efafce80e063890548","datavalue":{"value":{"entity-type":"item","numeric-id":6875011,"id":"Q6875011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$829B7DA8-2592-4407-B8AC-6973899AE9D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b40aa8e8f7aa0bc84afc51f131ebe74b5bd0afe1","datavalue":{"value":{"time":"+2026-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6875012$A0A4A765-9877-4B85-86BD-426A78CE6124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875012$4881F206-8F66-48B3-AF70-3CBCDDA21A85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ea16b1ee17c138febf4c5226282afb81dca8102","datavalue":{"value":"8144626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875012$21DDA5FD-012C-4A05-AA28-245D4461808C","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":"Q6875012$C3409D15-E445-43BF-9B0C-81BA11A06DF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875012$BDCB9F35-BC3D-4609-A4E3-20AEAD2CE9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7365926d92ef3b1adb6c9298c03d85ab8101f6","datavalue":{"value":"graphical calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875012$769FCA81-EDC4-49BE-8E98-E246C9364FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5bd451026edd7f261fb0dc0c709e5fb3dcbabea","datavalue":{"value":"existential graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875012$B23BB141-3313-4E36-92C0-D506E46CCC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875012$DB7C23FE-30C0-43D8-9994-3DE2DE511E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875012$B0008A14-C112-45C3-B33C-934E577425C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875012$6E5D5EED-6222-4613-A5E0-6293E68BFC08","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":"Q6875012$E1386A27-00A6-4059-A378-1F524A326479","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c1a4c46517fc96c171e8ec2d051f91bd106cdf","datavalue":{"value":{"entity-type":"item","numeric-id":6157245,"id":"Q6157245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$CC0BC33C-3709-4377-9254-EE5387892518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c510f33cf3069aa89560a85f6fc0e2e71f04618","datavalue":{"value":{"entity-type":"item","numeric-id":4490725,"id":"Q4490725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$7B3F698C-96FC-4074-B95B-E47AA7707F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30492f77eb016746469a740ef03c349aed405ecd","datavalue":{"value":{"entity-type":"item","numeric-id":5387843,"id":"Q5387843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$6E221607-59A5-4A66-ADAF-40E967C296C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"387b3b7f683e3eac1b4c66b864d9dbc7916ec6a7","datavalue":{"value":{"entity-type":"item","numeric-id":1571062,"id":"Q1571062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$48A38170-BF09-4A6A-82B2-BBD522D43902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea12d4953c9f79b0e616d06b8d878d739ad40d1c","datavalue":{"value":{"entity-type":"item","numeric-id":5108846,"id":"Q5108846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$4999F8C5-E767-47ED-86DB-69D04D5496CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddbfe900f6f3007aa2156ba6fa28c5143e696d8","datavalue":{"value":{"entity-type":"item","numeric-id":5236546,"id":"Q5236546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$3264CE9F-81A8-4491-A3BA-8EC386EE79E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"921780dabce96c51679e465426154ae95e68811f","datavalue":{"value":{"entity-type":"item","numeric-id":5327358,"id":"Q5327358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$D1ECCEB0-8B17-40D5-B893-3A1F2BCC468A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c40e018d61f40ca62382a8b6888e601d44a151bb","datavalue":{"value":{"entity-type":"item","numeric-id":2055855,"id":"Q2055855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$59AB82DA-EE22-494D-B6EA-CD3403DB0A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688427db8857ccd2460578f0423fd5c5a570e88d","datavalue":{"value":{"entity-type":"item","numeric-id":5369481,"id":"Q5369481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$377150AA-C819-4453-B97E-FDE815B0538E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8043ff418094b71ff31e7c9711a4b7ee52fcea","datavalue":{"value":{"entity-type":"item","numeric-id":2958523,"id":"Q2958523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$F8C82ED6-6F8F-467B-B7B2-3EB7A1E7B358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fe4a44c40ec678098e03a4152470d782ddba46","datavalue":{"value":{"entity-type":"item","numeric-id":1916365,"id":"Q1916365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$DF39416B-A48D-474D-863D-30288AC183A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e652dfbbf69d5d4a7dd6764a908482c7b582c7ea","datavalue":{"value":{"entity-type":"item","numeric-id":731892,"id":"Q731892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$53B02F14-764C-48AA-B404-D8C682FC7369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e5e3359f5f9b4b0eba06d2cf9eeaf888e05663e","datavalue":{"value":{"entity-type":"item","numeric-id":6875012,"id":"Q6875012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$A4DC16B1-1DDF-4504-A1F3-B8884D89F9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50ba61db66a00c67216430e624de9dd1ef188a6","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$8C233B12-9D3B-4227-8E3D-59E055A17238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9aacc2c379e52cdf5a99fdab1f6137b9dbbfb1","datavalue":{"value":{"entity-type":"item","numeric-id":2362206,"id":"Q2362206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$EE5798E1-B18D-49A3-87A4-05D196BD8299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8cd5e0685992ed9b5bb93823015acef2f9d2c25","datavalue":{"value":{"entity-type":"item","numeric-id":6851678,"id":"Q6851678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$B7882A21-717F-40DC-B17D-7F57E15CF183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6439f3fc567f75f003fdcd4b9bad2799d247f178","datavalue":{"value":{"entity-type":"item","numeric-id":6485474,"id":"Q6485474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$6FF8ED58-BA8C-4D25-8384-3186CD8523A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c602d6bd2ddcfcc7066bfb369353de5ba2dd44","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$C49D5809-A39F-47C5-BE23-9CA6591CBC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0211db2c37f97a2472341db17600370696704fb","datavalue":{"value":{"entity-type":"item","numeric-id":5697473,"id":"Q5697473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$27A478D1-1797-4809-A42C-E0C784D1E626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559ec538d1ea8832b77e20dc9482163269827794","datavalue":{"value":{"entity-type":"item","numeric-id":6185789,"id":"Q6185789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$CCDC4A20-7B42-427D-BC61-DED061ED7EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$A797D7E1-45A1-4863-ACE8-D13336A8D7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860086c035d23f8dd0aac31e3ead7451dac356ee","datavalue":{"value":{"entity-type":"item","numeric-id":1734264,"id":"Q1734264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$59E60D75-FF9B-4D1F-8DE7-80D768B62215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8878af2dd7b0d9fdb044f92714984afaee5f54","datavalue":{"value":{"entity-type":"item","numeric-id":2142093,"id":"Q2142093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$91CDBA6F-7F7D-4C06-9B8C-D18856266545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2c4f754b554fd3722211419d83d8e37139cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":3024879,"id":"Q3024879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$D1761FD4-4C1B-45F1-857B-7809864AFB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5963cf8acf72e83652fddd5baa48e4efb10cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2363507,"id":"Q2363507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$029F5FBE-A4CD-4CDA-B7B6-424A1B00A645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb08b51ecc9ff86bdaa44cc8f8fd465ed268c37","datavalue":{"value":{"entity-type":"item","numeric-id":5212088,"id":"Q5212088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$2455F366-CAFB-45BC-9CD1-B24B69EFDBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68421121344bf089c05c5b94920cb7828b2eaa0e","datavalue":{"value":{"entity-type":"item","numeric-id":2120974,"id":"Q2120974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$3A214E52-2F53-40E4-B583-C4F7F6588989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c980747852309ad02e34011dae7b1195dd483e00","datavalue":{"value":{"entity-type":"item","numeric-id":3690258,"id":"Q3690258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$56BA3F1A-26DC-4F14-82E4-BE2B86A26558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$4C032528-9332-400C-A3DE-332EA223F73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aaecaa88fb91a1516751dfe6d507429bc99560b","datavalue":{"value":{"entity-type":"item","numeric-id":2671599,"id":"Q2671599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$E6B15E12-0D9B-4FBD-B3C7-83CFCBD5BCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17aee3285a1812894731e4b27615330e17c83223","datavalue":{"value":{"entity-type":"item","numeric-id":4540990,"id":"Q4540990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$4FBEB78D-06AC-4853-9C6B-64A4670AAA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271adafdcc785cdda1d2a55663dee23d83aaf22c","datavalue":{"value":{"entity-type":"item","numeric-id":1463928,"id":"Q1463928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$4E3CDDA4-42DF-4290-ABAA-41BD6797EA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$EBF3CE0A-3994-48AD-886D-F2E1E0FCAB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4673138e41cdcc6fdba908fef9d352af43a81cb","datavalue":{"value":{"entity-type":"item","numeric-id":5387896,"id":"Q5387896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$D6AF7D0D-C586-4BFB-A860-C6BF8E72D16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8468fb515555f57e34fe608785778edafb5f3abe","datavalue":{"value":{"entity-type":"item","numeric-id":530865,"id":"Q530865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$CB44ACA2-1BD2-4B99-AFEE-6FBC6EF68286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8e4c3a43e7d0d69a709204a3a7a085b67b28cc","datavalue":{"value":{"entity-type":"item","numeric-id":4644610,"id":"Q4644610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$FFCA34AD-B240-4D69-A61A-9009FA8E6F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83687d137f5dff3044614e3f4b645a905363dc82","datavalue":{"value":{"entity-type":"item","numeric-id":2358703,"id":"Q2358703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$065C5107-1189-4D6D-AB86-2090098E847E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a9a4926ad0a1d7ac2a521c96efa1cb2e5f581c","datavalue":{"value":{"entity-type":"item","numeric-id":674261,"id":"Q674261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$9E2BA2BA-C3AD-4B8F-B992-95DFE0C7EEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeea368291e0499b54e17da202840bc614d9f421","datavalue":{"value":{"entity-type":"item","numeric-id":487224,"id":"Q487224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875012$3D8B70A0-7E5D-44C8-8978-1C9BF743B834","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The flower calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_flower_calculus"}}}}}