{"entities":{"Q2142091":{"pageid":2152834,"ns":120,"title":"Item:Q2142091","lastrevid":43592638,"modified":"2025-10-28T01:35:11Z","type":"item","id":"Q2142091","labels":{"en":{"language":"en","value":"Terminating calculi and countermodels for constructive modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7532528"}},"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":"Q2142091$99408916-AB75-4F8F-A91E-CC3E483D0ED4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39919b5f99e1c3463cd234c2160d02b7625753fa","datavalue":{"value":{"text":"Terminating calculi and countermodels for constructive modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2142091$6FF2D657-6A56-482E-B5CE-75E6BBD83AC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a27a5d0f1dd098487556205415d3e0e1f9f48f5","datavalue":{"value":"10.1007/978-3-030-86059-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142091$0EDB3784-3340-4569-879F-CFD956AC955D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9451f7b44840db9e74e6b49fa74aa9ac1ec93c","datavalue":{"value":{"entity-type":"item","numeric-id":829824,"id":"Q829824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$6AC505D8-EF4B-4ED5-91F3-BF9B5E112340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8585acf488394d94859dd8a321d9964f21e34279","datavalue":{"value":{"entity-type":"item","numeric-id":829825,"id":"Q829825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$F9352292-A4E1-47AA-94C2-67D8DC8E6E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$32309B3A-7FD4-4DEE-9C3E-F8DE586DB7AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2142091$1BF9597E-EC58-4011-B9D8-16EAD4F248FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142091$3043BC06-9D95-46EF-A29D-E3FE2FB27B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b13a15a6fb19571f96f337a53b7c22579eac5089","datavalue":{"value":"7532528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142091$A5306D5D-CF7A-4534-85BF-968232790008","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142091$2FFC2A8C-94C7-4A8C-A27E-3D3D24BC578F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142091$F4EF8EB1-42F5-4F57-BF21-011B62028CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9467e7549879f63b6f4fe88a7d655f4b7acbe9ba","datavalue":{"value":"constructive modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142091$77A03482-57C1-42CE-A90B-73CCEE003011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142091$70554EE8-FDC8-4019-A207-94E7949DE767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142091$E0965986-C9AD-42F8-A74E-E7C645F4A22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c1feb0bdf7fd07f52336a31a45734b9e81192","datavalue":{"value":"countermodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142091$73C20B19-871A-4B6E-95AC-86A39D3D21D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f871bf09050602f534c71921bf1ca187112eb02f","datavalue":{"value":{"entity-type":"item","numeric-id":5974871,"id":"Q5974871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$3F9744C4-76F2-4CDE-84D6-EADE951B7AAB","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":"Q2142091$FCBF50E7-70FC-47A3-BB7C-139F7C6D5419","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f890e1b2e4e506ecea9b77d1c21d64d37375879b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86059-2_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2142091$7C3648F7-7AEC-4AF1-A6B4-B4B1E638D9AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0814135987dbdb23533e167f7bcd0dfacb1bed7b","datavalue":{"value":"W3196874696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142091$46D06F49-87AF-4091-B8B8-8CF6B9F6E5FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a88a851a9bafb5a87194b06345f61c65943de5","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$D369A869-B8C9-4C8B-99CA-5B9CD046AE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338bc603bb2b150a69a01febb2a584e0068b8cdd","datavalue":{"value":{"entity-type":"item","numeric-id":829826,"id":"Q829826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$BD4487E5-05DD-4745-BF78-4CE0D8D6F8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$C44BC610-2F2B-42A2-B042-73D97175CC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4d17c35cbefb6a8aa866435f2f3edb60233e13","datavalue":{"value":{"entity-type":"item","numeric-id":2710593,"id":"Q2710593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$B93A226A-AA8A-45AB-9228-C078B03526FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfea43aded2479ac21730ff47e6c42135cdad0e","datavalue":{"value":{"entity-type":"item","numeric-id":2351164,"id":"Q2351164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$428DDCB5-8CD3-4C7B-AC9A-C879F2DE359F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ffcb59189d45049dbb8b637f649d3013fafd9","datavalue":{"value":{"entity-type":"item","numeric-id":3898472,"id":"Q3898472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$ED660C32-3776-4153-85F0-6CE98E247B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878ed41f5a836ffb415dd4f7161cdabdd847772f","datavalue":{"value":{"entity-type":"item","numeric-id":5796577,"id":"Q5796577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$8971713F-1738-4B1E-9280-529D6034DCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2862ab20bb5e75fe141023e595e2f86d486a85","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$14CB8F1F-B3E8-4FD7-A5D1-F94D13F4C0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6dbad8c4f3f108bb7a1a2923e60f8b7aea6407","datavalue":{"value":{"entity-type":"item","numeric-id":5049018,"id":"Q5049018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$4548BFDC-8A59-4168-87BD-EEBA7FEF0F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219172a5a05cde5e3e3261d771662a8b15b69b64","datavalue":{"value":{"entity-type":"item","numeric-id":3929724,"id":"Q3929724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$78D86AC7-59E4-49CA-BD60-DDB2BB3287E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36acd4a682e32105b6e11f8920d0722699021b33","datavalue":{"value":{"entity-type":"item","numeric-id":2904053,"id":"Q2904053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$3BD3556F-5A4F-43FD-BC9F-FA28CDCE1967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c3f0062690f32b6da1cdb4fe91638f618aefe8","datavalue":{"value":{"entity-type":"item","numeric-id":4612455,"id":"Q4612455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$8E5D04BB-EE37-47CB-A4DD-4FCC3F52C700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c23f143e374a6b10f9e74124e08c026bf67303","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$4B623E65-B11F-4161-B3D2-BAD9449C4E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78126dea3e1c6be734cb9353959ea1c8edea42e7","datavalue":{"value":{"entity-type":"item","numeric-id":5412173,"id":"Q5412173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$D96BEFCC-AB02-48C2-BD22-1456780AE9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6da9e2156b566dbe810f749f305e5238ecfa5f","datavalue":{"value":{"entity-type":"item","numeric-id":764259,"id":"Q764259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$165F4964-311D-4FD2-8802-4E78C94C8528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a595a5a77e03a5752581523c5152bf0f896014","datavalue":{"value":{"entity-type":"item","numeric-id":4883282,"id":"Q4883282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$F46FA060-2236-423B-8EE5-9ECA39237C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$D3CB011D-8C1A-4672-B727-F141BB8EF5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"137c5fea221bdc74005f01c4bfb8e9bb300996e2","datavalue":{"value":{"entity-type":"item","numeric-id":4612427,"id":"Q4612427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$C04CFFBF-4315-4AE1-B9FE-10C2D77A6A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$945B4B94-78C1-4E38-9A11-AB66DF3403AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f236d8fc7e363b4b1fefb363aedaa046e9a1e058","datavalue":{"value":{"entity-type":"item","numeric-id":2488268,"id":"Q2488268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142091$15F81E0F-7047-4237-B628-C1AC729AF2B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2142091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2142091"}}}}}