{"entities":{"Q4507491":{"pageid":6537084,"ns":120,"title":"Item:Q4507491","lastrevid":47512357,"modified":"2026-01-01T22:58:47Z","type":"item","id":"Q4507491","labels":{"en":{"language":"en","value":"Presentation of proofs in modal natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1513425"}},"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":"Q4507491$46DC503E-7240-4C16-B366-EA371867F492","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc61ad6cc670c503a2e6f3adab585b9630773db4","datavalue":{"value":{"text":"Presentation of proofs in modal natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4507491$B49EC6EE-B792-459F-B272-8E3CC6168531","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f2e8d944218e0e43463056ff405873617fbc9f8","datavalue":{"value":"0959.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507491$EFE168A5-2D10-45E1-A38D-7E1F769685EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7319f42feaf41997fb9abddf55f6d9d21926c33","datavalue":{"value":{"entity-type":"item","numeric-id":4507490,"id":"Q4507490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507491$0882B273-26D4-4098-9312-B150F1BD05A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51a757b982fa228a542a0eda5e145a1f2d4d0dc0","datavalue":{"value":{"entity-type":"item","numeric-id":3490998,"id":"Q3490998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507491$3D23598B-528F-4C0A-8C7A-06D8AAF88933","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"990752c320d29232b9e0b8025fa1f119d1be577c","datavalue":{"value":{"time":"+2000-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4507491$A340F8C2-7374-4035-9601-6115442CE36C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab33cf4a8a64e02b621626cde466f14c7f29f551","datavalue":{"value":"https://semanticscholar.org/paper/65ed0f631ebed6467b9253a6c87a965b06f6a854","type":"string"},"datatype":"url"},"type":"statement","id":"Q4507491$33962C18-9B46-4FE8-A145-30C726C549EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507491$99336452-609B-411A-9954-53E3075EC5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507491$103680DC-585B-4705-835A-1148FDE8DB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507491$4060014C-266A-415F-BEF9-4A893985BD08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aa152567771ee3e4be09fbdaa53fc0b8644ed1d","datavalue":{"value":"1513425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507491$AE1B2EDF-FE2E-4E2A-BEEC-79987A89E091","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507491$957B5716-48F2-4354-92BA-1CCD1787D127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507491$9D56D264-EEBB-49F2-BDE8-E3AE2DF6995E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7da8db83f735bf58e47ac4f4405797370fceced","datavalue":{"value":"modal natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507491$49E9CEF4-8D33-41DB-870D-D4CDEB443C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f433faf1279cdb38aabf045f18de6325cc7395db","datavalue":{"value":"proof transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507491$DF1CD677-2CAC-4C82-956D-4275BE0E4510","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":"Q4507491$D0A81B70-FE34-4CF6-A842-EC2ECE8F4A13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69fe3bf62a7b89ac3b8894535c05d3e6fb5e33db","datavalue":{"value":"W2123105015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507491$4A8EE399-EFD3-444E-9C5E-81B4B015A67C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0394765119abb0ff5587b9b4508c8686bb6844dc","datavalue":{"value":"10.1093/LOGCOM/10.4.527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507491$9C7C4D29-D4E7-49CD-B646-416B4922CB75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507491$5E660603-4CD6-4FC3-A173-0DA42B998D58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae94c05d4bfbd620309c53a8a873d04e4a5fa57e","datavalue":{"value":{"entity-type":"item","numeric-id":4544190,"id":"Q4544190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7eddb58b975153f6d0617fb45325db5624a8caa","datavalue":{"value":{"amount":"+0.7806851267814636","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":"Q4507491$B7138A30-D04B-4277-9003-0E551528B99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab26edf1fc181f17d051519482c54b44ff1e475","datavalue":{"value":{"entity-type":"item","numeric-id":5053007,"id":"Q5053007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41af57ac70f3322e1633de07f7fb8657491a43db","datavalue":{"value":{"amount":"+0.7679631114006042","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":"Q4507491$40C5DEE5-8C2A-4DF9-89D2-0894FD67931A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4253fccc871044e483c35d08d07d67d9d8b67a","datavalue":{"value":{"entity-type":"item","numeric-id":4511321,"id":"Q4511321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94331602a66b9942bead60f26c04b3ff9b6ce1d","datavalue":{"value":{"amount":"+0.7675245404243469","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":"Q4507491$0B693A69-1A24-44CF-A766-63320DDA1732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545d7803b7aa0f048a3a34b4c713302c47a4289b","datavalue":{"value":{"amount":"+0.7673240900039673","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":"Q4507491$9E52B243-9FE5-4DA4-A22B-39064ADF334A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe80d7b277b261de4c31a6d043984b7a3c34b21","datavalue":{"value":{"amount":"+0.7561651468276978","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":"Q4507491$93EB735B-7BCD-44E4-9587-BBDE823C9942","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4507491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4507491"}}}}}