{"entities":{"Q3455186":{"pageid":5234586,"ns":120,"title":"Item:Q3455186","lastrevid":46546182,"modified":"2025-12-25T00:22:14Z","type":"item","id":"Q3455186","labels":{"en":{"language":"en","value":"Kripke Models Built from Models of Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516036"}},"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":"Q3455186$4E79C877-6BFA-400F-A12F-1BB4A2AD4A88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"308f3ae055aede28fe1151a3e19b425eb87106f1","datavalue":{"value":{"text":"Kripke Models Built from Models of Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455186$4078B703-8573-4D82-835E-4E17F8CC3379","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81b1b779b405b9f724994d05502cb5f25d5190e1","datavalue":{"value":"1326.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455186$D075CB6B-2C43-4E14-88A3-B74729BE3923","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00945139b609108ce6bbb0d0d8257435bcdc45e5","datavalue":{"value":"10.1007/978-3-662-46906-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455186$39FF5CB4-1180-4FE3-A35E-B5CC0A6C49CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96f05f2a9c234a17d02b111547f6b88b72cc044a","datavalue":{"value":{"entity-type":"item","numeric-id":2402960,"id":"Q2402960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$48D25B6E-99AC-4C2C-8578-A76D7F8879E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$B6261591-A744-409B-802A-92C7F975D483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455186$8E2C8F11-24D1-4CAD-866C-6958CF078E1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455186$1321F346-7A6C-49DD-BE99-896B3829F1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455186$83B56A53-39D6-468D-89D3-9C6D126396F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455186$677B48FA-D566-4014-9B98-6D08C5B11CED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e54f6fcae313ea193f9825a1b14ab2110c20f87","datavalue":{"value":"6516036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455186$C6F3C19D-9841-4AC1-8037-CC8ADE159A45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ef6408fbd00f7440cad3e2b7bf17cd54e5b150","datavalue":{"value":"models of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455186$87ACA974-08B8-480E-927E-32C6BAE188ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455186$16FF8653-A666-4D9E-8E89-8FB380AD5A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455186$09193884-5E67-4B85-9E5D-8B6536966EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8312a4adc066b1a8ff881110f98f0a82f6d2e251","datavalue":{"value":"internal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455186$5F34B78C-0278-44F9-AE35-6410B5FB3EF2","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":"Q3455186$4D8835EC-0020-451B-8D32-09D41B8012FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4490513feffdee8f7cf6f991bd58d1745ff2eaea","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46906-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455186$10B3BA5B-EA57-468D-B898-D857FA1E8BE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"940f9373d3fdd736c368ece22a5f0aa0efd84281","datavalue":{"value":"W2283129835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455186$95ED2F67-B416-4FA3-AB6F-2621F9DF9515","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d94ee13fb5ecca8b20e9dac6ff80f0c10426a","datavalue":{"value":{"entity-type":"item","numeric-id":4417312,"id":"Q4417312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$75B1FA2E-7B45-4BDB-A597-EEEDF6CBB03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$BA78E9C5-9CB6-4011-B989-14D28F890B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd031867925522d5debdc71d5083763241a4dbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3160552,"id":"Q3160552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$EEB22ABD-1D1A-4A55-8E6B-C7521DBD8CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097adc14ecbe197cdb57f9ee7d653330aaf5139","datavalue":{"value":{"entity-type":"item","numeric-id":5437615,"id":"Q5437615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$63955D87-E92C-4C72-A13B-F30AAF18E929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$2A14FDF6-B281-4326-8439-20D2AA37EE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$7AFF4D8E-04D4-4C8D-BF78-99B6F5DAE8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$49547FDB-D544-4234-80B7-CC46185F0D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadf6c0afbcdaac692df9a4b7b618f0a3ecdff7","datavalue":{"value":{"entity-type":"item","numeric-id":4008752,"id":"Q4008752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$CA599052-610F-4665-B8BE-9B2023A9A065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$F782FA32-EF1B-4785-978A-A134F3AE1939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32a88ab50f8aab6dd1fe13b82a1a8db273f1607","datavalue":{"value":{"entity-type":"item","numeric-id":5810546,"id":"Q5810546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455186$E565DFE2-F30A-4E04-A499-E5B0371EC915","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e5888ff601c1df31ca63c908e16eabf415d251","datavalue":{"value":{"entity-type":"item","numeric-id":4664256,"id":"Q4664256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508fe3d2836556da293731dd27f1745513963a0d","datavalue":{"value":{"amount":"+0.92866474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$38966FD2-B0D6-473D-B3D2-37F284C7770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4611ebba9c26ca7b6a4d796439e228b834dd1d","datavalue":{"value":{"entity-type":"item","numeric-id":4493072,"id":"Q4493072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1552bcd8ae7750081cb4c6cd0687c0d23ad9b9","datavalue":{"value":{"amount":"+0.9280872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$0CDC8C10-1FAA-4391-82B2-7D75D0A2AED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e805c27a295e522d202d66c9383e7230cc66f0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337a68cf41919e3eade48038fdd29c07d6764a8e","datavalue":{"value":{"amount":"+0.92806405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$C014CACB-C7AC-48AC-8117-51346C739679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d802eeaa9173d1e2d1e827bacb320b5b1e808395","datavalue":{"value":{"entity-type":"item","numeric-id":2776821,"id":"Q2776821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb19a6b24a42da3a6a542af1d543ebd803bc2f68","datavalue":{"value":{"amount":"+0.91994345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$48C19B1D-ECE0-4256-A39A-FBCB1581525F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f80baced05191346738ba75006cd3163507092","datavalue":{"value":{"entity-type":"item","numeric-id":4716688,"id":"Q4716688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb0248cf395fb35f726f42f110e05cc87ffaa1d","datavalue":{"value":{"amount":"+0.91724455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$3164D97B-09B8-4AA9-BBAE-6F62C04B326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8d9d05a32cb50b5141296db69daab91425a25a6","datavalue":{"value":{"entity-type":"item","numeric-id":1913629,"id":"Q1913629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41ffb0e98ad5804cd91fe013777498ce7a432e1","datavalue":{"value":{"amount":"+0.90314907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$9846FE8A-5F0C-45FE-B230-65759CC7B902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47e939c630c8be035e2b20ab8843bf1c8891091","datavalue":{"value":{"entity-type":"item","numeric-id":4918381,"id":"Q4918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f9a7b3c34ae49b3b86cbd4fcd4af4ba1e77520","datavalue":{"value":{"amount":"+0.89019895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$EF0B78D5-FD4B-42C1-8F13-C6C258459609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b84656fee60eb941a08535d63b7f13e2e519e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5711890,"id":"Q5711890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b49ce4adb5e02ac7af9b3761e67e661ab56ab7","datavalue":{"value":{"amount":"+0.89009285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$DFB1BE16-6EBC-4930-B3C7-36A3D56B729D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cceecc08ba6574fd34d6e9805e1e70f4e0b48f25","datavalue":{"value":{"entity-type":"item","numeric-id":4487300,"id":"Q4487300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f700f1f218988e9ac31d6580362dc8b7baaf376","datavalue":{"value":{"amount":"+0.8884785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$B0EBAFFC-6533-405E-A84D-C04535AFF3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0108300adc6ece2b5ea582a3150c11ec47889494","datavalue":{"value":{"entity-type":"item","numeric-id":1295382,"id":"Q1295382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176ccd24304d7ad9a3bbf6c08ce59e6e519be06b","datavalue":{"value":{"amount":"+0.8884576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455186$25A6E814-E4EF-4A44-A3FB-DE92968CC895","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455186"}}}}}