{"entities":{"Q6875009":{"pageid":20746630,"ns":120,"title":"Item:Q6875009","lastrevid":84225125,"modified":"2026-05-13T19:54:24Z","type":"item","id":"Q6875009","labels":{"en":{"language":"en","value":"Machine-checked categorical diagrammatic reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8144628"}},"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":"Q6875009$A0E989A8-ECFB-4622-A544-361159FD4165","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f3de792d27e7843e3632a570803989923e71355","datavalue":{"value":{"text":"Machine-checked categorical diagrammatic reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6875009$3C861583-6A55-48C8-826E-D6B37E0278E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50f4d55c8da080c87e48ae226f4a4fc1435c2a04","datavalue":{"value":"10.4230/LIPICS.FSCD.2024.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875009$325E63A9-EC54-4751-AAE4-6D5C2289D188","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ff6b059ad2602801e4b03f3f99573262ae62c6","datavalue":{"value":{"entity-type":"item","numeric-id":6875008,"id":"Q6875008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$4A2958C9-3B6B-4F75-B4B7-12E2012BA71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$84F2531D-DA7E-4155-B92B-74DE3B549819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eaa023d91ba424d5d9bbee836429a4bcfb64d0","datavalue":{"value":{"entity-type":"item","numeric-id":6345174,"id":"Q6345174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$BEDA298A-5B43-4C8D-ABF1-198F1F98F171","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":"Q6875009$0AAD250B-AE9E-44F9-A329-EBA463F12B6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875009$2605E614-7C1F-4E19-9FF9-F4C684760266","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"680a9c277106f849397db47ddafb07c44e0c9d1d","datavalue":{"value":"8144628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6875009$C34CC18B-C0F6-4E19-9513-DF5237FB8E93","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":"Q6875009$1D4CFB1B-F352-481A-B8EE-38258D98E6B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875009$1E5797D2-0B08-435A-8336-C51BA4C5775A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f225847bebbbd70d61785ce4ab123db6af3778","datavalue":{"value":"categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875009$BBE31A90-2B38-43FD-ADD2-538D4DD5863C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e8e9f8f7d5b99330e59c1d6472f5f0dae2d8b9","datavalue":{"value":"diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875009$6010870F-11AF-4BFD-AD6F-8408DF9108A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd9af9c93b7067e0339a9650a1428561cd3514f2","datavalue":{"value":"formal proof automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6875009$54AC56B9-7B34-49C0-882E-677CA9895C6B","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":"Q6875009$94301B37-1491-402E-97F1-67C1E7E0DA56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f64d57050206512889a218305d67a8f65e3f09","datavalue":{"value":{"entity-type":"item","numeric-id":3183522,"id":"Q3183522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$BBE25661-E6D9-4785-B0EE-8DC32902A921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd705db38fc94f5e0a4f8062e96784a5f66e0481","datavalue":{"value":{"entity-type":"item","numeric-id":3130548,"id":"Q3130548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$4EC97B28-5DB5-4B42-9931-53274E8CC82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9043a8e0db8fbe70927e1080ed41c6667c6c65f8","datavalue":{"value":{"entity-type":"item","numeric-id":2209259,"id":"Q2209259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$59A10338-F06D-4680-A6C1-D8EA76378FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e0b3ea57e4a9136ce9f0c1c07822d196c35105","datavalue":{"value":{"entity-type":"item","numeric-id":2879258,"id":"Q2879258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$FF1E81F1-A304-468E-8BEC-7110F5798434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282bcd6e2ec80d6ab53bab0aee042169c5112e43","datavalue":{"value":{"entity-type":"item","numeric-id":6875009,"id":"Q6875009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$F3C19775-8C59-411B-AF45-4F66C998A445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4125bd06cb429ed23c32e0ffddb95ae2bc589bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5193160,"id":"Q5193160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$ABF845BD-4669-472C-A3DC-BAAD12222990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$D7E7475E-7698-479B-90A4-3002A5BF7DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5145c764dc6bcbd0a64fdd4abd9265146488f347","datavalue":{"value":{"entity-type":"item","numeric-id":6856014,"id":"Q6856014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$AF10AEA4-9413-4053-AD22-C44C3DB5AB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47471fc3272a1567342ce23219993ca8c74e514d","datavalue":{"value":{"entity-type":"item","numeric-id":4255482,"id":"Q4255482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$AD427761-4554-46CA-9483-71C656F7B167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a0652190fa525f5db8636304489797fd33778f","datavalue":{"value":{"entity-type":"item","numeric-id":5369495,"id":"Q5369495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6875009$8B33416D-DD43-4CA4-BA7F-60707EFD352A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Machine-checked categorical diagrammatic reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Machine-checked_categorical_diagrammatic_reasoning"}}}}}