{"entities":{"Q3069725":{"pageid":3080441,"ns":120,"title":"Item:Q3069725","lastrevid":51167900,"modified":"2026-01-17T01:20:05Z","type":"item","id":"Q3069725","labels":{"en":{"language":"en","value":"Completeness by forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5838905"}},"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":"Q3069725$76B25E25-E467-4A91-9E48-505A9CBBACA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1db8a8fc1287e729ce7d68bd7ccfa9613b74a39","datavalue":{"value":{"text":"Completeness by Forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3069725$E099549E-B08E-4D32-ACB5-5A79961363A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59d5a5ff2b564a69427dbf8d6d6915e76e6c4c0e","datavalue":{"value":"1233.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069725$3D373C28-60F0-44C4-9991-E873F7D525EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069725$0995E159-291E-482D-9DF1-7342E6E2A75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b94f6b7e5430cd481e7710f9d089b8ff4b05e03a","datavalue":{"value":{"entity-type":"item","numeric-id":764310,"id":"Q764310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069725$9F5637CB-A22E-4034-B9E8-093282DB506A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"701a75ed0eadeb37c84b5bbe5da3ed0de7bb3b31","datavalue":{"value":{"time":"+2011-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3069725$C0D210B1-B915-49F6-8C94-24FE81D27D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069725$F70A92BC-F85F-4CD3-95A7-DB988335518C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069725$CE2DBD13-2784-49AA-8FFA-61420167EFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069725$FC415BD7-8FAD-414C-8073-84EC7A60B80D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5d389be33562b6db90761342507c7b6dc234659","datavalue":{"value":"5838905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069725$55A04D3B-6EC1-48CA-B382-74E3A0FC30E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069725$7F291F0C-1BE5-4399-9C32-DB472CC4C6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd8c1b0c7ab246d15327da887fd7357a5caf767c","datavalue":{"value":"institutional model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069725$C68B92B6-E921-4966-9BE2-1BC5BDB11770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d59bb300355f04619f96a9ae5fc92fa354c1e97c","datavalue":{"value":"first-order completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069725$B81F6CD3-0EBD-4328-9A36-8DED32F1F984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069725$8898EFBC-A903-436D-9872-6B452EC7575F","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":"Q3069725$C35B16F5-4CBF-45EA-BA9F-29B14C9AE2ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6dce201d92ae40135c98165d13233082a0150b6","datavalue":{"value":"https://doi.org/10.1093/logcom/exq012","type":"string"},"datatype":"url"},"type":"statement","id":"Q3069725$BF0FDD21-AF4F-409F-B861-978F0D5EC331","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03fb09f081bb0a8df9a817b93c66764ff8036e89","datavalue":{"value":"W1984536496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069725$8B2A5916-B554-4425-BCD2-03AF6DE3E04C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecc8c1989d4e263367e51cbc27c229fe80bbc589","datavalue":{"value":"10.1093/LOGCOM/EXQ012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069725$23894A1B-2AB0-49F4-B306-10B4644DF36D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069725$DCA45FC4-9BD2-4DA1-8970-00BAFD308505","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f648da33dda0dccd0e94db30d694f15891ddf1f5","datavalue":{"value":{"entity-type":"item","numeric-id":1625589,"id":"Q1625589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5397fb8ede6b2203714caedaafe71e1b73a2ae33","datavalue":{"value":{"amount":"+0.794816792011261","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":"Q3069725$B04AF7C7-88BB-44FA-86D7-A5242D203762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18ce5194d4a5a8b376decb1154836a3dbc51768","datavalue":{"value":{"entity-type":"item","numeric-id":3323934,"id":"Q3323934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02efd3e7dee5277ea245d8c4b8a6a5de85337dc1","datavalue":{"value":{"amount":"+0.7752267122268677","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":"Q3069725$9BDE3B04-8980-4009-8275-21568B8D711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1b20580979958f483b25543cca9ebf28676659","datavalue":{"value":{"entity-type":"item","numeric-id":757093,"id":"Q757093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc231f446b0547ec9b74a8857f2224f25598c53","datavalue":{"value":{"amount":"+0.7530160546302795","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":"Q3069725$304C98D2-68B9-46B2-A398-EC405E208E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fab66fa4452b185827448d18b127de03bccdd3","datavalue":{"value":{"entity-type":"item","numeric-id":2852157,"id":"Q2852157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029be2f2c2f56b2fc9e518fcd2cb785b3fa93838","datavalue":{"value":{"amount":"+0.7516993880271912","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":"Q3069725$79A3D77B-E061-479E-89A3-3CADE80AACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a21b73d123ea38e8025a75e6dc9f3aafd718bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3612504,"id":"Q3612504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f26b196d3790b374ceeca34997d87f3032fc82","datavalue":{"value":{"amount":"+0.7380734086036682","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":"Q3069725$FE801E31-7685-4ABF-BA47-2BDCE90AA9AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3069725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3069725"}}}}}