{"entities":{"Q3061280":{"pageid":3071996,"ns":120,"title":"Item:Q3061280","lastrevid":51146954,"modified":"2026-01-16T22:31:39Z","type":"item","id":"Q3061280","labels":{"en":{"language":"en","value":"Multimodal and intuitionistic logics in simple type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5826757"}},"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":"Q3061280$565CFF4E-E6EA-4BBF-9BF5-717255C06ABC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50362eb32817f723b344851a0045767663851959","datavalue":{"value":{"text":"Multimodal and intuitionistic logics in simple type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3061280$E6BCB487-1F15-4DE8-A7A1-CD1A934C5E68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1b7f434a6a4cf5dff3e72589c1317d404f65212","datavalue":{"value":"1222.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$B7ABEFD3-678A-4E68-86D5-865722A1738C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061280$C92524D7-ABFD-4178-A9B0-91040B6457FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061280$41B8C9FC-CFEC-4C8E-95E1-CC15F6DED5EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c7b9f0403915176fcd67af3fc6912389edbd89","datavalue":{"value":{"time":"+2010-12-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":"Q3061280$6F87256F-9D26-45F6-BFC5-B77FF2D34275","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c892c17836e7d2c0396641de7216ef3baeb90824","datavalue":{"value":"https://semanticscholar.org/paper/e2cced618f2e479674c6c8572ad4ebc319d5982f","type":"string"},"datatype":"url"},"type":"statement","id":"Q3061280$6D30ED65-D6D0-4DF7-8365-9B9EE9D6FA5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$4913A04D-44A8-441C-B112-237541A7377E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$39917CD8-55B4-41DD-AD6E-16993B50E1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$BAF0C15F-459F-4555-A86F-733E82B9EFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$B6A13B12-522D-4731-B6A9-A2B990BF3189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$FBE23361-B1E4-4D99-ACB1-2911CFE48946","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df9ee0fff3f57c1ff1e4875eae7324657e8e7c4c","datavalue":{"value":"5826757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$96D040AE-5FB2-4F96-A116-1A2F5EE894BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7369b00dcc2de789af51f57c7628c1a00a554901","datavalue":{"value":"multimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061280$640A6B17-20DE-45E8-80D2-16DFDB166E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061280$86EBB287-779E-464D-97DE-08CE9B37B96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061280$C70C8867-0E74-4684-AA8E-185502840352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061280$3AAE702C-6626-41A9-B228-BFF1C63196E7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9f1b01c3d587695c2881fd4fa0466a5d671e7b75","datavalue":{"value":"Q57382614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$AABB21AB-5320-4A9B-BD50-AAB58798351D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061280$A0B22356-732A-48E8-A0D1-AC2A7D44732A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061280$00504E06-2E46-4162-96B0-9D5B372D1725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061280$3562E8D2-9808-4C22-9278-E75391DB86A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061280$94DE4F0B-F232-473C-B284-98B2249A5016","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":"Q3061280$F5F6E0DA-3DAE-4661-825B-F789D2E47607","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fc573965cddf33f2a8f95a04049231d92fa3b21","datavalue":{"value":"W2068880842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$5A59553D-F6BA-4F52-BF98-2678F3FE8E47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4b351f7795fe1a73bbeab7d0e34d9ecf9a85c6b","datavalue":{"value":"10.1093/JIGPAL/JZP080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061280$A9101D87-FFC1-4CBF-9B16-9F8177882FA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061280$29B5784B-C822-4D7D-9777-83EF56B6AA04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5e4e303d30d981963d05589839d33109b18b61","datavalue":{"value":{"entity-type":"item","numeric-id":3086787,"id":"Q3086787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4413e4ac187f1ec87e4507168df2c5ba5bbc5f9","datavalue":{"value":{"amount":"+0.8657218813896179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3061280$0D4C1A77-BB90-4D31-B4E6-FEB771B1E346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf735ed0349b7b682c8162ad5039bf70eddcf98c","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9c8d07669cec1f53cb8fc1e5fa46e91e13e2a6","datavalue":{"value":{"amount":"+0.8528211712837219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3061280$CFDBECD8-9DF8-4DA3-AE7B-C037CFC60885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cd10045bdd5e4b8267e469585152106911e43b","datavalue":{"value":{"entity-type":"item","numeric-id":3582734,"id":"Q3582734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd2ec6baa170b313df2e266c1672d07d88f406a","datavalue":{"value":{"amount":"+0.8017050623893738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3061280$79AB63DE-3A16-4A36-852C-735D58AD31C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e43a8e52d9764867b80193aa5f9de7685229905","datavalue":{"value":{"entity-type":"item","numeric-id":2721197,"id":"Q2721197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c01d23c0377ad7e635417e681cc11f94271d0a","datavalue":{"value":{"amount":"+0.7463841438293457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3061280$3AAB6878-3C5B-4A34-8A0B-B5302DC0F82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9fee84c87286b00bdc4b21645ee39236268853","datavalue":{"value":{"entity-type":"item","numeric-id":3058454,"id":"Q3058454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957da226cff0dc0737a6e78cee0a419f37b4bddd","datavalue":{"value":{"amount":"+0.7429913282394409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3061280$0D073343-25A2-49F4-9A82-EC5090673C40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3061280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3061280"}}}}}