{"entities":{"Q2267746":{"pageid":2278489,"ns":120,"title":"Item:Q2267746","lastrevid":56863524,"modified":"2026-03-23T21:38:49Z","type":"item","id":"Q2267746","labels":{"en":{"language":"en","value":"Kripke models for subtheories of \\textsf{CZF}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5676423"}},"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":"Q2267746$F0076FF0-6FA2-4CDC-A915-E34FA8A10644","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1286e50a2dcd4690a95ec2917daade083cf88e5d","datavalue":{"value":{"text":"Kripke models for subtheories of \\textsf{CZF}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2267746$E3AA72E5-7AF6-4FD6-8B6F-6706908711BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c38b2212470fe6388e1512bca6eed5ee5cf4ef55","datavalue":{"value":"1184.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267746$A5D01147-7236-443A-8269-A72785FF7E9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$8076BA86-A434-4162-8BA8-218238D1F34D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$584933BB-8F95-4584-951F-E726A67C2351","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"451b1add420eba18eb55274d0248d7a57f02985b","datavalue":{"value":{"time":"+2010-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2267746$73849A11-F9FF-4E17-A680-D5EC90D7878A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267746$A92EE8C7-5640-4689-8BF3-D7827B4164E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267746$D0E1976F-9421-4F70-BA23-4D25BBB333C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267746$86F30D22-EF84-4787-92B3-B8A8EC41C044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267746$8D9DE95C-EA26-47B3-AD93-F5428EE3F814","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6634f4429993e660279781b452993f02ae52f860","datavalue":{"value":"5676423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267746$EE39B8E1-409B-4AA7-B797-BAE319414602","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2267746$69BA2F82-7AA0-4B6F-B1F2-B4F1DD46FC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2267746$6D66444C-E975-4ADC-93FC-BF06F4FF6AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b544c29ef2332a7ac7e48f9d6728288c581f4fd3","datavalue":{"value":"constructible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2267746$F620707F-0FAF-4464-9549-9C4C60B10615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44947699f8d978240e696a80fb19f921e479804","datavalue":{"value":"generic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2267746$A37389CE-FFB9-476B-9627-5926869FBF28","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":"Q2267746$F1ACB094-3CD9-49E2-8E31-A4E8ABADBB5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feb6f42bcb59ea7001a8c2101050e286d6dc15a2","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0164-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2267746$BA13D405-9A25-4EF9-B2B2-19F729C06228","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4abcfbbd9fa71d5a42473409bf715ea512566c3","datavalue":{"value":"W1970635105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267746$944ACAB6-F9B5-4F5D-A772-5A9D1FDCA3EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$98E82E3C-E2A5-44FB-81AB-7EA84AEF44C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$F60FEFE9-8443-41F4-98CE-CBCE5C5168AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bb968eee2def3bd19a576e8c6ba5dfffc39154","datavalue":{"value":{"entity-type":"item","numeric-id":2575769,"id":"Q2575769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$47B6AB12-2C12-4181-9B79-E45B8BB5772E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$0F0674F2-9743-4674-933E-A5D34339696F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356176b4c2fc289e7fbb7b270efe9a342ccd0395","datavalue":{"value":{"entity-type":"item","numeric-id":1765158,"id":"Q1765158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$9D400C36-649A-4735-A347-0538AF519910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5991726cac52e4d83f50c4669884909acb3474da","datavalue":{"value":{"entity-type":"item","numeric-id":2498896,"id":"Q2498896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$98EE4CD6-2886-4A67-8F15-158DB42B181D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$AA16DDA9-D9A8-4213-99A4-B486BEDA0893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$004F6F63-0A9C-4850-9CB0-4F2749D2054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dcdb50dceb87c6e4a446f14bd5897f85c83507","datavalue":{"value":{"entity-type":"item","numeric-id":5486250,"id":"Q5486250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$61EF3145-9693-4F9B-954B-67066F777DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963485469aceb0582dd2c60644ec88f187611b06","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$438D630B-652D-4998-9484-934F570FB583","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c0a1d825db931f9210ad8e5b267ffbc2dd8b25a","datavalue":{"value":"10.1007/S00153-009-0164-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2267746$B8C083A5-16A5-4EF3-A90C-1707E5A8CDA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0911deb8dfc220c1fa072f54145e697e3dc2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1765158,"id":"Q1765158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b86dd87cc63f741ee6d0d7414fe27b5f48a250f","datavalue":{"value":{"amount":"+0.8198624849319458","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":"Q2267746$E38039AE-DA76-496C-B363-EBE8A37AFC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82af895f7d2dc27b0f45d46fd0c983c1c830a6af","datavalue":{"value":{"entity-type":"item","numeric-id":5293202,"id":"Q5293202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d57481268f7b06696cea9b944c9d55a7e3005d0","datavalue":{"value":{"amount":"+0.7599587440490723","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":"Q2267746$E7FB8105-EAFB-4DA1-A27F-09B5C0A24B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62633bd6913d59bec8eeecf09b1b5829596eae24","datavalue":{"value":{"entity-type":"item","numeric-id":4451720,"id":"Q4451720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4563545510465778c893ee2cfef371975bf1984c","datavalue":{"value":{"amount":"+0.7508859038352966","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":"Q2267746$230D8785-CBAD-4FF4-8012-B9D5CC803109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bb54b562fc2c6e0f3fe2cc79c360c6a28e307d","datavalue":{"value":{"entity-type":"item","numeric-id":448336,"id":"Q448336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bd30c98e8c534c7121995ceec52ff533fe3055","datavalue":{"value":{"amount":"+0.749531090259552","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":"Q2267746$82CBC9F3-8F80-4191-85F4-79FC2E52FDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba76c66cf7e538ca9c4b1dc4bcaf247f14f7e77","datavalue":{"value":{"entity-type":"item","numeric-id":636371,"id":"Q636371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036a724d421031e5ed6233b1cf871c2597e05a15","datavalue":{"value":{"amount":"+0.7485278248786926","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":"Q2267746$20961DF4-80F2-4391-A44D-A78894E31698","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2267746$08BB1BD4-66CC-4E03-A5ED-34752039F06D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2267746","badges":[]}}}}}