{"entities":{"Q4933664":{"pageid":6963246,"ns":120,"title":"Item:Q4933664","lastrevid":47430049,"modified":"2026-01-01T17:52:07Z","type":"item","id":"Q4933664","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1386139"}},"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":"Q4933664$7C8CA34F-7579-4CD1-8559-CBFB105F2BBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fa7041d430a4dbf0cc7707cd6c9a3cf01910c76","datavalue":{"value":"0930.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933664$A85E00B4-8184-435C-A529-6E30ACE38A56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51039c976debe490efbb58219dc624ba4b5e99a3","datavalue":{"value":{"time":"+2000-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933664$5A96C953-3489-487D-8C10-A2ADEB6CB154","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933664$7683637F-A07C-473B-A86A-F571CE93B88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933664$1D0101AF-76B9-45BE-9F6F-91B17250AE9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5618f27ed870ef029b9b8d94abb0bd141a5cb2b","datavalue":{"value":"1386139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933664$79390560-4939-459F-A899-54F52422680C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933664$DE4FF6CE-6863-4A6D-839E-DDCAFCF0A016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933664$A5A47727-2827-4917-A694-6BF1509CDDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410f3aabd2df3a252bea101a55264f29bf3dd233","datavalue":{"value":"Kyoto (Japan)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933664$6C39AD47-84E3-4943-BD15-8E4172FAC69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81cc3e03ce5d7dbd9fd1b2d8a32a817e1cd3f0cd","datavalue":{"value":"RIMS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933664$07E5252B-1B80-4913-9DD3-BEA9A966B190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8cd6f20f00c626dd3562ea349642485c36f916","datavalue":{"value":"Nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933664$0AF90C38-8A99-406D-924E-B2891620BA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b5059017c61896d3f46f7d2eef43d9cfd118815","datavalue":{"value":"Sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933664$55DD2FCB-6281-4CFC-969E-04D5DA4337E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933664$1B0FE6A4-B0ED-44F6-B9CE-89CD8CFA6D50","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":"Q4933664$D036D3B1-C534-40EF-94D3-66C260748A1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b883c4aed8385e6db259aaa7f38a326218aecd1","datavalue":{"value":{"entity-type":"item","numeric-id":4266094,"id":"Q4266094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e928b014f7a8b2efc0d989bc201ba7c3f0696683","datavalue":{"value":{"amount":"+0.8724280595779419","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":"Q4933664$523FB09A-055D-497A-AD91-88696041FC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66dd6e61575f345c16284b420ba36ec63cb7fe60","datavalue":{"value":{"amount":"+0.8692414164543152","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":"Q4933664$DF967C32-461F-4D85-BCF1-DB8F2EA70D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01638beac893c217e0851fac3b2684a0ccf3489c","datavalue":{"value":{"entity-type":"item","numeric-id":3840341,"id":"Q3840341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea9932d91bc47a4311fe5238d27c6d40381e6be","datavalue":{"value":{"amount":"+0.8373534083366394","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":"Q4933664$9900FF30-D386-4F66-B3D4-3BDBF51F09C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809374e3d4886cb8813e625905590f624197e796","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8283c708ab8c49e5806dd5ac6eb80daaac6bd56c","datavalue":{"value":{"amount":"+0.837114691734314","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":"Q4933664$1AD476A3-0655-4DD3-8214-3D843CC7FB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e904de17d6ac7f629053b8b6bfa0cd947add7097","datavalue":{"value":{"entity-type":"item","numeric-id":4384373,"id":"Q4384373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb737613a4951237f65bb864c6d4868ba8037a6","datavalue":{"value":{"amount":"+0.7588022351264954","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":"Q4933664$2AD96A46-607B-4BA0-82A0-9634A0C00EFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933664"}}}}}