{"entities":{"Q1109762":{"pageid":1120511,"ns":120,"title":"Item:Q1109762","lastrevid":49211593,"modified":"2026-01-06T18:51:23Z","type":"item","id":"Q1109762","labels":{"en":{"language":"en","value":"Ordered sets R and Q as bases of Kripke models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070870"}},"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":"Q1109762$8FE88598-06E2-48FD-A6BC-455765D606A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"281876ba48311bc325c3748c18b54eb243e15e48","datavalue":{"value":{"text":"Ordered sets R and Q as bases of Kripke models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109762$A1938780-88A1-4611-A378-741C197B2B2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8173e25682185cd947fcc12656ffebdcd2dd04e3","datavalue":{"value":"0656.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109762$7176EA18-A8C3-4384-A5B4-8065A35D08F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96ef95f4523aa4800e0f44cba6483a0092e19ff1","datavalue":{"value":"10.1007/BF00370376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109762$E7432C3F-59C0-4648-99BD-C1BABA9A30A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109762$3FE2B1FC-32A7-4111-AE63-380AF5E7DDFF","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":"Q1109762$4E74C769-028E-488B-AA73-D2B0C342BAB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1109762$106BE9D9-67CE-4B7A-AA1D-2AA9F83DE3F7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"356c79ceb097fd91c07d91c66494e6f77e5477e1","datavalue":{"value":"The author gives axiomatizations to the constant domain intermediate logics that are defined by the ordered set of real numbers and by the ordered set of rational numbers, respectively, as the bases of their constant domain Kripke models. Some results are also proved to show the interrelation between such logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109762$83B9050F-2040-448A-83B7-AB3C806E629D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109762$5AE1F6EE-5F82-40CA-9EAF-C0883C8770EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ca66941d613c1e07763f418d367ac9d32df7f6d","datavalue":{"value":"4070870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109762$C49D7E56-3524-4E56-AE2F-5E96ED95A775","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109762$81C0F69A-55BC-4762-BD78-5157ADE2F04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf3dee05e91fb53ed182f6e08f6fcb0e796ced3","datavalue":{"value":"constant domain intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109762$7F062331-5618-4959-B638-FBC5C96E6592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f904d11271d9bb51d01b9f961ab5b3321243da","datavalue":{"value":"ordered set of real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109762$61CC9025-FA70-4699-9606-F26865109F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c4177c255ae6fe5cc88899b18a3b490b1d2378","datavalue":{"value":"ordered set of rational numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109762$C4A118EB-C08A-46E1-A2F3-A2C0FFE7FB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109762$470300E3-3DEE-4877-9453-181F024BB325","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109762$F6272A3E-31CB-41E8-93DA-95FD366F7403","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":"Q1109762$B12784B9-4635-40F2-AB15-BFAEB7A5C24F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109762$807B72CA-C25A-4874-B09D-7B45547467EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a07a082fa7f822d41c779133576f297e5f5fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1061734,"id":"Q1061734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109762$A93CC9B0-7934-4BF0-87AD-6F66DC74F956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35270007a8b5b5aab8e168d2707e8c4fcf0f52b","datavalue":{"value":{"entity-type":"item","numeric-id":1843560,"id":"Q1843560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109762$E16D2BB4-CED5-410A-BBCA-F0471919DD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019bd4c75dfd12975ef47facd414f509a089febe","datavalue":{"value":{"entity-type":"item","numeric-id":3669380,"id":"Q3669380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109762$01DF5E27-6130-4EBC-81A1-9FD9DB67D083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109762$F3BC4295-BF2A-4811-8188-7486B43CEF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4977850ce5142634f32984b139abed4ce1f93e","datavalue":{"value":{"entity-type":"item","numeric-id":5518354,"id":"Q5518354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109762$FCCA3CEA-DA24-4BD9-BDA0-2CFEDBC82733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cfd39fa3f8e77663ad7022a0fb430a259f84ca","datavalue":{"value":{"entity-type":"item","numeric-id":3734369,"id":"Q3734369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109762$20B67F3F-1779-474D-8572-7ED886CF62C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7cbb4cace3de66b602edf2f66faece17cba63e","datavalue":{"value":{"entity-type":"item","numeric-id":1309336,"id":"Q1309336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781ec12a664506618556913a239fdee561d46a6d","datavalue":{"value":{"amount":"+0.7726230621337891","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":"Q1109762$4C0ADDA4-467F-4456-B5C2-72944B08BE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e345e22db9222282c2dddb603ecbe58b5a5c65","datavalue":{"value":{"entity-type":"item","numeric-id":3731579,"id":"Q3731579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636ba9cfcf2354c8714651271dfbe471620107cf","datavalue":{"value":{"amount":"+0.7558941841125488","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":"Q1109762$13D07647-765E-4DE8-82ED-9574D1FAC9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38fa78c4bac4d0069af58c94a01d3882dce3467","datavalue":{"value":{"entity-type":"item","numeric-id":3426561,"id":"Q3426561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24de2b4752ba2dcedbbbdd6767f5c4517971774b","datavalue":{"value":{"amount":"+0.7347781658172607","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":"Q1109762$68551281-CFD4-4676-9EC2-B53932EF2EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2964323e652a0b96c46dea540ee4797ab04a05e0","datavalue":{"value":{"amount":"+0.7338489890098572","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":"Q1109762$761A37CD-0100-429A-819E-91E75450091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beffcec4b90f77b8bbb35573d98e8c6b0bc3790a","datavalue":{"value":{"entity-type":"item","numeric-id":3094149,"id":"Q3094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8f54d7bb323200b5d028f2f7afbe8676875d36","datavalue":{"value":{"amount":"+0.7271308302879333","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":"Q1109762$61ADB0BC-3B17-436D-885C-0D66C90E1055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1109762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1109762"}}}}}