{"entities":{"Q6041914":{"pageid":13176070,"ns":120,"title":"Item:Q6041914","lastrevid":98581853,"modified":"2026-06-05T17:59:58Z","type":"item","id":"Q6041914","labels":{"en":{"language":"en","value":"Axiomatization via translation: Hi\u017c's warning for predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686244"}},"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":"Q6041914$FB054400-9F3D-4172-BF94-1877B613857B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041914$8B3E5C8A-3DC5-49AA-B125-3DBFC5E61DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041914$6A97DC8C-97FD-407D-A140-D00A91F81A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041914$7CBD3B4D-0D5C-4B4B-BE7B-BEA3D6B469D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f8cd678429e6b461d7a68a84be99a49497a2703","datavalue":{"value":{"time":"+2023-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041914$07767AB8-718E-4FAA-9CA3-5073659575DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78dc6737d1e251885b6802cd5cc17d2aaa359095","datavalue":{"value":"https://arxiv.org/abs/2203.08721","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041914$F5B87A03-B824-4A01-9C06-3D5A703D87C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041914$62B5743E-77C2-4C25-B6D9-71D850E9C070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041914$C147F730-63D9-4001-B896-9F6EBF8910CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0fda60ee5270263e3281f88e95ac0934b36b351","datavalue":{"value":"7686244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041914$E8A34039-7D07-4DAD-AEC9-589720E23BDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041914$8D43A436-77D5-48DF-9FE5-8B08BCF0F02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041914$382655DD-2231-4E1B-8C69-01FAC8BAE3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041914$D473E0EA-1823-40F8-87D9-AE3AF7CD3D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041914$6E46CC0F-B73A-464F-A239-5EB415586859","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":"Q6041914$F81F61CD-80F3-47A4-9981-05BCD283F41A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61b135adce6c422e3dddf6608b21c48dfff72acc","datavalue":{"value":"10.2143/LEA.257.0.3291070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041914$4C2A76C2-14BB-471A-ADF6-131761C3955A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81184f8899efec0aa2bdd7514774c74e1c9234c0","datavalue":{"value":{"entity-type":"item","numeric-id":3714045,"id":"Q3714045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac527cdc8136cd8f9960748bc6bfa4c96580aef","datavalue":{"value":{"amount":"+0.7023699879646301","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":"Q6041914$6F0DE501-591B-4EC8-92F5-56CA26AC41B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1a2c4792d537cd358d40c69db6fc45a56b8cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4291871,"id":"Q4291871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911b4d674f784dabdf6bb1a935519c87d402bd9b","datavalue":{"value":{"amount":"+0.6909357905387878","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":"Q6041914$783A05ED-58B6-4604-81A8-0D4F3C88FD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d384d6360f3ea57f5609584b6f47e1bd6416eea8","datavalue":{"value":{"entity-type":"item","numeric-id":3717023,"id":"Q3717023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb2cb2f622ddaf05734023ced911756f3775321","datavalue":{"value":{"amount":"+0.6897855997085571","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":"Q6041914$B929DCF2-D175-4089-B931-6A0EE87E2BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c6df409f01aabcef2a75ff642540b8e435089d","datavalue":{"value":{"entity-type":"item","numeric-id":2735848,"id":"Q2735848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c78e8e6cf1fafef5c52779013794dc9ce06882","datavalue":{"value":{"amount":"+0.6843909025192261","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":"Q6041914$511FF54A-7B99-4190-9C20-EDAE7289CF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0bc3db9f544a0d2af7b777694ee79acef8ed47","datavalue":{"value":{"entity-type":"item","numeric-id":4282526,"id":"Q4282526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f577d26fb671bfa91c0885b4bfd1b4860595ee","datavalue":{"value":{"amount":"+0.6770177483558655","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":"Q6041914$49CE4FB2-2574-4B3F-B3D2-C15F96DB35E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatization via translation: Hi\u017c's warning for predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatization_via_translation:_Hi%C5%BC%27s_warning_for_predicate_logic"}}}}}