{"entities":{"Q4593255":{"pageid":6622840,"ns":120,"title":"Item:Q4593255","lastrevid":82180937,"modified":"2026-05-06T20:17:46Z","type":"item","id":"Q4593255","labels":{"en":{"language":"en","value":"Interpolation in Normal Extensions of the Brouwer Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810884"}},"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":"Q4593255$E3FB3D42-185D-4783-A416-EB5DB3C247A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54cfd1f839ed7269ebb45dee7ab0d5702d0301b2","datavalue":{"value":{"text":"Interpolation in Normal Extensions of the Brouwer Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593255$6CB94967-8C07-4695-90DC-BFACBF65AE05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"122a2b4704e25b85388ac96c20cd9b8f27079e94","datavalue":{"value":"1423.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593255$2416EE2C-36F8-4FFD-A8A3-033DBAD2C264","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73e3a7d2a7e26e16dd64755798a7849221ec3acf","datavalue":{"value":"10.18778/0138-0680.45.3.4.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593255$383363EA-7E70-40FB-931E-5B94B87833C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65fce13c76b03bec4a57e6b04fa4e225a456e870","datavalue":{"value":{"entity-type":"item","numeric-id":519845,"id":"Q519845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593255$C8CC3F51-62DB-4833-80B8-3E27340DF0EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593255$1F91C937-9314-4CED-B76C-2B948EBB8099","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32c62cee3d47e19137a413daa987cc4081aea061","datavalue":{"value":{"time":"+2017-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593255$773C05B7-9080-4F30-97FE-0D4E66BD3C07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593255$B13A1922-C37C-48E2-B6E2-ECA4D27E970D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2e1f2b15cadaf3ea8a7f47bb90ce8d6eb31d913","datavalue":{"value":"6810884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593255$2742D99C-2E4F-4471-95D0-C4C1F11A3BF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93d598fe03942c6e71539de7a18bfae3fa7276d3","datavalue":{"value":"normal extensions of the Brouwer logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593255$D5C73CD8-8BBD-40C2-BF8B-CC87944006D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593255$F1B3CD89-C56C-47B1-B59F-54B9EC2D9888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593255$D5E0F440-154E-47D2-BF9D-D07C2B0D6081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593255$DD66F6CA-83CE-4DD7-A114-E6172761AAF4","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":"Q4593255$1DB026AB-2719-43E8-B88C-BD8C172EBD4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04250dc655eb8869a85e1f964653daf0f128f5e8","datavalue":{"value":"https://doi.org/10.18778/0138-0680.45.3.4.03","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593255$5A5530DD-2D97-476D-81DE-72299BBAE60D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dffd04d5445c7ca23b6ed04a65eceb93ff009a24","datavalue":{"value":"W2734370888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593255$E8D3C665-4814-4580-B72A-781A3B9DC7B2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593255$1428F8E2-DF00-42EB-8FF6-9EF7D68D0A44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation in Normal Extensions of the Brouwer Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_in_Normal_Extensions_of_the_Brouwer_Logic"}}}}}