{"entities":{"Q2852156":{"pageid":2862876,"ns":120,"title":"Item:Q2852156","lastrevid":83775113,"modified":"2026-05-07T11:15:09Z","type":"item","id":"Q2852156","labels":{"en":{"language":"en","value":"Transition of consistency and satisfiability under language extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213837"}},"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":"Q2852156$4B999177-F2C5-4F52-96AE-EC3385AB990C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94dc3233f3c9428215f15223a6c1e4c467a0b379","datavalue":{"value":"1288.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852156$248790CD-1E6C-49A6-B04D-19A7FABD7271","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"443ac7da0d4ab10cd7625ca9e09324f0c8076fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2679588,"id":"Q2679588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852156$6AFDA3E2-3AE0-48D5-BA46-F1D561AA5460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d0b9b61d83d1e98f6242a5df0440e02577e539","datavalue":{"value":{"entity-type":"item","numeric-id":375822,"id":"Q375822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852156$0B44BE0E-E7BC-4059-B4B3-517F6B2F747E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852156$11DA949C-D037-4C91-BABB-44F003537877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852156$8125D3B7-8ED6-47BA-9B79-6ED4C9262AC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852156$C79F2CDF-DB09-4D92-9492-75F12CE672DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852156$2EE0E2C9-D9C6-413B-AFD3-344AED5605AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852156$3EC68B5B-02F9-4D10-9C59-3720BC9D3CC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21082e687c475a7c4b236dbd0beaa4ff9a3dc2a2","datavalue":{"value":"6213837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852156$D7A85606-8639-4809-B7A3-916293B2FE2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852156$C8919CE7-8162-454A-BCCD-A2A7A1202D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852156$7AA42BC3-5B8C-4491-ACF6-1A44186302E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f9cb116398c11b6a4a0b0d4d04348399be8853","datavalue":{"value":"G\u00f6del completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852156$0200C1A6-C4D8-4909-9AFF-9298EF80D01B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852156$8890F01E-2686-4F07-865E-C49E2E10B3A3","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":"Q2852156$4CE2EE8E-39FC-45EB-B841-6789E43D2644","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77ccf5f150148108b48a0da726d42f62efd23837","datavalue":{"value":"https://doi.org/10.2478/v10037-012-0022-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852156$4D663BBA-9F0D-491F-A751-CEF169B7715C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddb06b602002cf7b58ac2b46c8667ddf2e3c90de","datavalue":{"value":"W2125706593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852156$E9FA9610-C3F8-46B1-B0BA-B26854780976","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f6716521d224544da29c623999f5dab5d1712a","datavalue":{"value":{"entity-type":"item","numeric-id":4023926,"id":"Q4023926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852156$B5587C9C-5A30-4703-A345-77C10B569E78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"895c250b4222a7071da06ab1c92ec4d236a999d1","datavalue":{"value":"10.2478/V10037-012-0022-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852156$0C47D398-7A5E-4ADE-9FD6-189D3466E8C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85aec1dba342470fe4ccafedd9ecd989ccff975a","datavalue":{"value":{"text":"Transition of consistency and satisfiability under language extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852156$0F956899-4007-43A3-A2DC-F2D4F4F975B5","rank":"normal"}],"P1643":[{"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":"5ef382424f57bedbb0cbe4b41e987530ef7fa033","datavalue":{"value":{"amount":"+0.8783336281776428","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":"Q2852156$EAC15403-5F31-4787-95BD-CF9DD531A500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf1e310d4319850dc53c03d715caa346851662f","datavalue":{"value":{"entity-type":"item","numeric-id":2865750,"id":"Q2865750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14e8a9f39b0b9ab515012382c7e14703e2f107f","datavalue":{"value":{"amount":"+0.7458978891372681","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":"Q2852156$BABC4EA1-FEA8-4DB1-9208-F873BF960DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145a58948ed4bc18925304f2cdf932c575e86cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3033747,"id":"Q3033747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a261a5aa340cc5b625de00e9985b6d7d8ffa5e6b","datavalue":{"value":{"amount":"+0.7442900538444519","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":"Q2852156$18356BA8-2D51-445B-A3CD-4A33606361C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da54ae133285ee684666e264230488075015855e","datavalue":{"value":{"entity-type":"item","numeric-id":4288052,"id":"Q4288052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13c9d94ca1f017f970f0660fb095e5bd2cca993","datavalue":{"value":{"amount":"+0.7379785776138306","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":"Q2852156$E8A839B8-3F66-4889-9FF6-1270B3E9B212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a09f2fef67545b50c056365a173d1e07e4e189","datavalue":{"value":{"entity-type":"item","numeric-id":1312692,"id":"Q1312692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8b745f68732c54a9f26ca675f5c540caacbe35","datavalue":{"value":{"amount":"+0.7352072596549988","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":"Q2852156$B2964B4C-D2D3-4740-B997-B363A1769A7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transition of consistency and satisfiability under language extensions","badges":[]}}}}}