{"entities":{"Q6115851":{"pageid":13250158,"ns":120,"title":"Item:Q6115851","lastrevid":39709235,"modified":"2024-12-30T17:35:44Z","type":"item","id":"Q6115851","labels":{"en":{"language":"en","value":"A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7725404"}},"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":"Q6115851$7059D120-F0B8-4BE6-B5D7-B55E974AF064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81bf1203fc8cde17baaf62dbbc2e717dd14fddcf","datavalue":{"value":{"text":"A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6115851$9903EC0C-5409-4B9B-850D-9E21D6F8B2B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"743138d1117bb1fd884f49a0379a18876cb46089","datavalue":{"value":{"entity-type":"item","numeric-id":2148835,"id":"Q2148835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$F6F8C554-116A-4474-9F9F-9572D137C750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$ABEA18C9-115C-4F69-AA16-0BE3C41EA80A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$8C33AD5B-8989-422E-93BD-23E2712E4FC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dae15c90b98a92864cf67eed8eb0b97ddf8177e","datavalue":{"value":{"time":"+2023-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6115851$5349F11C-0D13-46E8-812E-55EB535955F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115851$1E73936C-7CD0-4554-9AEC-79351095AE81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71db90f4b88defd3fb7a43fe95eaae4fc13dee58","datavalue":{"value":"7725404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115851$A4A8A708-5873-4857-871F-4F997DD6B843","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115851$DEC83B1D-68C1-4739-B139-397857CBB957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115851$96D5DC29-B141-402E-9677-41E128BC193A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115851$1E93B5B8-B202-4079-B81E-AA5CEE4503D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abac5ee5ce88f5f2e783f49c9982664c05f6f59d","datavalue":{"value":"geometric implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115851$BEA57F1E-A95D-42B8-A870-1AA4E2E0096C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115851$2A577CFE-2D0E-4523-ADB4-E0357BD129E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d548489239f17c18355387425237da9002aeba","datavalue":{"value":"BHK interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115851$01296267-7B8F-4268-8E97-C16B5F6C9BDC","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":"Q6115851$77D27C4B-2489-4618-BAA1-3358C9C4A66B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"812e9ff89f4b00b840cee38dd10c2e68450822e3","datavalue":{"value":"https://doi.org/10.1007/s11225-023-10037-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6115851$269580C1-681E-44C7-A33A-5FF63D2AB0DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ba4b5442c91ddcd797581a2277696ffe9df3ac2","datavalue":{"value":"W4327859639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115851$F9A8491A-973C-4D76-B479-266DB60B75FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c87dd90803fbdd1d68a6a0b0bde26c985815e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5741614,"id":"Q5741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$E3D0DCDA-B053-4219-8F82-5A457F94C754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff7e3e8e126011212e70107285b6ea1712f0265","datavalue":{"value":{"entity-type":"item","numeric-id":4496833,"id":"Q4496833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$B75F7140-B845-4C29-827F-4DEE44293BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9aa909a5f3ff0abcbc69852eb1a775aad8fbb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$D840F3BC-0335-4320-9D5E-7D182C43AB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$7791AD70-6C6C-42BD-AD3B-0143CF6F7926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8773127b9ac48e644cb7a3aa96a3d08ca1972e02","datavalue":{"value":{"entity-type":"item","numeric-id":2186699,"id":"Q2186699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$F342DA88-4FE0-4D6D-A913-8CBE5B3CD816","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":"Q6115851$2535120D-E83B-426A-8E11-1C32EF8E0F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe5b32ebe1b29b2edc3575e3da562e9dea8cd2f","datavalue":{"value":{"entity-type":"item","numeric-id":3376919,"id":"Q3376919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$2D652994-B482-4B95-9C6B-8F398C0BA92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3149f07d824c4cdbd54872d7678bb4a6c04c248","datavalue":{"value":{"entity-type":"item","numeric-id":4636047,"id":"Q4636047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$5109A7DD-05DE-4AEC-98D4-8E6956BFCCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33eedac29e9ec4f8e98369eb2519dca80cbb80a","datavalue":{"value":{"entity-type":"item","numeric-id":334160,"id":"Q334160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$4FFAB67E-00ED-4380-9F5A-71FFF7820C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251e3bba0bd53f2cb2d29e5256bf8b10e26d82f6","datavalue":{"value":{"entity-type":"item","numeric-id":5283428,"id":"Q5283428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$A0D0474B-FB56-4930-849C-942BDA32D873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24d6d6ee58d37b394877d5e70f635c51ee77e0d","datavalue":{"value":{"entity-type":"item","numeric-id":393906,"id":"Q393906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$F78F01EB-B2C7-4383-8E58-76095C0A6BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a5e37cfa8fe119d133cf38f120bfd07e3c3368","datavalue":{"value":{"entity-type":"item","numeric-id":2443327,"id":"Q2443327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$EFD42D1E-3BC2-4E86-8F4E-D1A8A13649D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$6BC8CEA2-7783-468B-9D53-E3830ACA39F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$2A6361D2-FF45-4BF3-B65C-B6E5A2258257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$02D34F15-3087-45DC-8911-F689B8810DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$F383E20A-D406-4CCD-ADB6-5B69B6F292CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$55F28246-B98E-414B-8309-240EE9EB6544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$D4E1DFB2-6C9A-4AE0-861E-563D68C44048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75a3cd0c0a8635f20f77cebe927fbdb0ab17843","datavalue":{"value":{"entity-type":"item","numeric-id":692189,"id":"Q692189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$BA6A4F32-5AB4-4C78-B042-33F9A138D60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffbdb336c8a58fa93bf32ec4b46e775f2123ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3457712,"id":"Q3457712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$56CBC1E6-ED5B-45CF-B3AA-2E1D7D02C0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100a126d7c466fe0a017d0707931f118b5816564","datavalue":{"value":{"entity-type":"item","numeric-id":2291242,"id":"Q2291242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$754AA993-D3DC-401C-8EA4-29DD7A1ED77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b827267215f30424dfab181f34e5c4c2f3706780","datavalue":{"value":{"entity-type":"item","numeric-id":2291248,"id":"Q2291248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$B6B8E329-B560-4D7C-BD29-C9E795C44802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$391AB2B6-2A1F-4204-8C7F-6C3B440B7E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21758fe08e5e7efdbdc35f1c82f7417f87a2a438","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$28E24DA3-4D03-4D67-9B75-EA08D1BD08DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b6b8d9820e31ab0cf366384bc632171d6fb194","datavalue":{"value":{"entity-type":"item","numeric-id":1185042,"id":"Q1185042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115851$D3B48BE6-57FA-444D-B305-DBE29ADB6AAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85a1f0006016a9b9400a09e4ccd572ad80c58db2","datavalue":{"value":"10.1007/S11225-023-10037-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115851$1C131500-80E4-4DAE-9E77-B7E4E61B45D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6115851","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6115851"}}}}}