{"entities":{"Q4674593":{"pageid":6704174,"ns":120,"title":"Item:Q4674593","lastrevid":82461485,"modified":"2026-05-06T20:57:37Z","type":"item","id":"Q4674593","labels":{"en":{"language":"en","value":"The simple substitution property for superintuitionistic propositional logics and its relation to the separability property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168348"}},"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":"Q4674593$918DB638-D526-463B-8DF6-476BA1F041B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b3e0eb90c02cb4f11dccce9f5c7eb7a97654694","datavalue":{"value":{"text":"The simple substitution property for superintuitionistic propositional logics and its relation to the separability property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4674593$439D107E-300D-46D1-A573-C8A923AAE03D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df190b3ab73ab1022766de8b206189475cb50dce","datavalue":{"value":"1071.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4674593$B08A2287-E004-4C97-B5F2-D8CD154CCAAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f5df8375cc2bf497b2ffa047003ccf9d911b940","datavalue":{"value":{"entity-type":"item","numeric-id":542291,"id":"Q542291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4674593$8025C553-8F4E-4983-809D-3D9066B74160","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b151f74118b2089fb45521b3381aed82f2e9708","datavalue":{"value":{"entity-type":"item","numeric-id":2710693,"id":"Q2710693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4674593$02116758-961C-40A1-93FB-9103D3362E0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ee0106d888569bdcc9b3d8e1252f7ed63c68c81","datavalue":{"value":{"time":"+2005-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4674593$5512B20D-D215-4318-AC6D-AF24D36B3EDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4674593$950F5572-643E-491C-BD4D-09FB383C7AB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"407716c5c20b74f5461a7ce50aa0a6b90e8c22ef","datavalue":{"value":"2168348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4674593$CBC90636-C38D-4F56-B918-E04D2AF5C93F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20f03dd6f02bf2a250103ffb7244004a7704315","datavalue":{"value":"separability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4674593$2663E82C-78DC-42BD-89B4-7B98DFAA92FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c9751769b9e19c78ba4a4ac6ad3d07ace9304b","datavalue":{"value":"substitution property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4674593$DA75D2BD-D4E4-4768-9DA6-C3B67DFFC5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7469987bc20a0c729790bee88df7d123c8d65c","datavalue":{"value":"superintuitionistic propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4674593$F95DCAD8-B5C5-4EF3-98EB-3CE467E02D25","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":"Q4674593$20C31AE3-C172-450D-94DC-7B09E4075FC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d714e9662b49e8f954c4f05ff4ecb6b0827b25b","datavalue":{"value":"10.1070/IM2003V067N02ABEH000431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4674593$066F4F9A-60C5-4598-99AF-FFD7684EC652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The simple substitution property for superintuitionistic propositional logics and its relation to the separability property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_simple_substitution_property_for_superintuitionistic_propositional_logics_and_its_relation_to_the_separability_property"}}}}}