{"entities":{"Q4692072":{"pageid":6721649,"ns":120,"title":"Item:Q4692072","lastrevid":53254214,"modified":"2026-01-24T13:46:55Z","type":"item","id":"Q4692072","labels":{"en":{"language":"en","value":"Truths, inductive definitions, and Kripke-Platek systems over set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6966179"}},"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":"Q4692072$96950156-4A70-4C77-AF9C-1C4A4D77410F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eece0b1dd523511febf5ca7998a657aa244d294e","datavalue":{"value":{"text":"TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4692072$AC12B6DA-28B0-42CF-8F44-0993E140FE51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6bdcf797d5340bc018bbbc29cba872463aaa86d","datavalue":{"value":"1475.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$293F265D-9145-4E45-85D7-EC8B19C8CC98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc037806ca11bf2f8a0a46efc23695c295dd3db7","datavalue":{"value":{"entity-type":"item","numeric-id":450945,"id":"Q450945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$AE53CAC3-658D-44A6-9C39-0D54EB18D9E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea269db09297544776e39495a4f14dedb5a1b846","datavalue":{"value":{"time":"+2018-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4692072$1D61D148-A996-47EB-995B-17953CFAB902","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e8015d7cfcfb7bcf0eb182ec499b391939b676e","datavalue":{"value":"https://research-information.bris.ac.uk/ws/files/169913356/JSL2018.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4692072$4F01500D-14BA-4994-8675-45AD7EF5B6E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$A822641C-BF9E-4365-B6A9-FC782DF1D116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$67C97ED8-5483-4066-AD60-F83C10DD183B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$B478A92E-4E92-4899-9EFE-05A85CC65090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$D917A83B-1F67-4D4B-B708-22926EDDB6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$60DC4110-67C0-4750-9A17-B1353B12DC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$FD8D13BF-527E-4FD0-9211-A4D4FF3C2AD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25959662cfb2db05f1acddc18d0a3e2e54003fee","datavalue":{"value":"6966179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$92A4CE3F-3C55-4E18-82F5-9DF8CCFBE449","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73869db8a189f3766b7a85b5b117cb75a7f0523a","datavalue":{"value":"axiomatic theories of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692072$29BE25CB-A04E-48AE-9A73-B5002E96A8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc3f4aa5b9daf8bce9a98b9c45593d51f047874","datavalue":{"value":"second-order set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692072$1D86FCAD-2A9E-4D2D-81CC-FCE8E8D4DFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692072$A46A242F-C6FA-4EA6-ADFE-AA57B007E65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692072$D1C113D2-D6AD-43ED-BA8C-FA65CC1FE448","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":"Q4692072$C677DDAF-4FD5-4AD1-A458-DDDD37449A80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb3d8bccb64f356c0d998fa03ab282d96906ed6f","datavalue":{"value":"W2895863840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$A1F93C56-FAB8-42B7-A4D5-63B3D22AE3BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$1B02C4A8-C3A6-4F86-9949-468C1F6B2CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$38B95E44-1A25-4B0B-AE7A-2F37356703B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f133b74af7d5821d23702be11600a40ece90371a","datavalue":{"value":{"entity-type":"item","numeric-id":5645404,"id":"Q5645404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$C3DF346F-749B-4FF3-A332-3EFB06FCE9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$861EED71-39F0-4CB2-8049-7D4BE4D0BD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4ba4d1b27496f5a0d2d7c632bf1c8beb5c56a6","datavalue":{"value":{"entity-type":"item","numeric-id":3464621,"id":"Q3464621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$2A7457DF-D600-4AAC-82E4-0F70038724FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"010bedd06f6c1909a61b361a03b810c0c5d9e9a7","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$97408BC9-16E2-4287-8BC8-C76246B16F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869ac6d8df6733056730b8ca498f2fa774bb403b","datavalue":{"value":{"entity-type":"item","numeric-id":3197819,"id":"Q3197819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$4D03DCBF-567D-4EF9-9A19-7B1F9F29E918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee742a038900cfbd62ae0c9ad27fa7f65ec58b07","datavalue":{"value":{"entity-type":"item","numeric-id":1920240,"id":"Q1920240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$E1923A68-A9CA-403F-84BC-F624728CDB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$9D2550D2-CBFA-4C2A-AC4B-BDA350D08C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa2695297ddd451560d955d0bd25c9940e2815f","datavalue":{"value":{"entity-type":"item","numeric-id":3163660,"id":"Q3163660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$E662DEA3-7266-4DCC-9138-0E5E36D6423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"279e9b04e2acd825d3faae1e4d0ae06c176e9655","datavalue":{"value":{"entity-type":"item","numeric-id":450946,"id":"Q450946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$1BB91D4D-02F0-4B7D-A9F3-C5C0D718531B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19037d8769673bbc5700e827d85b31568a06320","datavalue":{"value":{"entity-type":"item","numeric-id":2514846,"id":"Q2514846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$6194AD8D-0B35-4D2C-A6AC-ED088E6A0B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"246e84141ef7c9c99565ec19592a7f868ab03ac3","datavalue":{"value":{"entity-type":"item","numeric-id":1841002,"id":"Q1841002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$53A1DBD7-6B6C-4043-BB44-185A23418887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddcae75623ad27e45f301cf7aa223ba87bd8584","datavalue":{"value":{"entity-type":"item","numeric-id":3968911,"id":"Q3968911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$F9D2FD40-4C6A-4561-A8A7-FEC9FA33496E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6bfb3cd96ce770994314c20d7ba6adf066a039","datavalue":{"value":{"entity-type":"item","numeric-id":5951914,"id":"Q5951914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$BBC966C7-855A-4E6E-BA4C-D75D7BA5A2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$3B1345F5-1D59-45A6-978A-31B6F30E2778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$E5B61FB4-AB0F-47A1-AF2D-F5756CD24D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$3C13EBAB-2463-4427-920D-92F5AB0ACEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c01aacb1bd820fc7c2a246f1cfd4160d66b71b2","datavalue":{"value":{"entity-type":"item","numeric-id":2257106,"id":"Q2257106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$4C91AB0F-96A3-4467-9FF8-8C678F583256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$F7584605-2226-4E4A-AA5C-A14F68644E96","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"51921c37fabc772693799fb7097e5990c000366c","datavalue":{"value":"Q129044278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$BF780D33-475C-4E72-B7A7-E2161F121A43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5247fb1ffbda151b55012c1e988bbb3448e2b11","datavalue":{"value":"10.1017/JSL.2017.77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692072$B023B9CF-E271-4C33-A07B-521DE2C775D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692072$7A9F0427-C247-40E2-BB43-8A233618ED50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaea4f35ba906a59af9b07eb5f5e4b3d8c4aabe","datavalue":{"value":{"entity-type":"item","numeric-id":5480633,"id":"Q5480633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f18a949ad5b49741954c8a9c68b28a802f645d1","datavalue":{"value":{"amount":"+0.7898356318473816","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":"Q4692072$47D7433D-852C-49C9-A122-1172D12EA961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f359470bb290fe01cc27ba00f24ba161bb9204","datavalue":{"value":{"entity-type":"item","numeric-id":450946,"id":"Q450946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f0cf2f887f1353e661cccf4c7faa59bb2d8643","datavalue":{"value":{"amount":"+0.7749215364456177","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":"Q4692072$E021F566-FF29-4F22-B81E-A565D4B39F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef76db6ab95e26215e06348c9f48604c8b003089","datavalue":{"value":{"entity-type":"item","numeric-id":1708102,"id":"Q1708102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58453e3d08b57f7e7648bfba20f223dccce5e7a","datavalue":{"value":{"amount":"+0.7718313932418823","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":"Q4692072$FC32C03E-7245-4305-823B-AB62D4075529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742a4b11d5d1a59ae4cc6a85ef77fd921f881326","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43bf4fc440d7ac0cec0605983cff162f8739a1f","datavalue":{"value":{"amount":"+0.7685277462005615","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":"Q4692072$353EF830-79DF-4BBA-9B35-B948B36405E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52127d300f50caad88d6f3a614fa892b5c6db0f7","datavalue":{"value":{"entity-type":"item","numeric-id":2940867,"id":"Q2940867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe37d8356e111a18db4b65af006e9f5d30450b0","datavalue":{"value":{"amount":"+0.766610324382782","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":"Q4692072$B2C99EE2-C107-4928-947F-E71B0D17D97F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4692072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4692072"}}}}}