{"entities":{"Q1049753":{"pageid":1051601,"ns":120,"title":"Item:Q1049753","lastrevid":66037671,"modified":"2026-04-12T07:06:37Z","type":"item","id":"Q1049753","labels":{"en":{"language":"en","value":"Reflexive intermediate first-order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5657683"}},"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":"Q1049753$D245A4F6-3EAD-4C60-9200-96593A11BE59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69bb7970771a42e372c664577203a9d5998801ac","datavalue":{"value":{"text":"Reflexive intermediate first-order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1049753$37952745-24DA-48B3-B536-12BAAADD6A5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1da89dbbb59b9dcaab52ef5bc73afd5c8862de4","datavalue":{"value":"1191.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049753$3330436B-508D-4EF2-94BB-70BEED54B03B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f652543c82d93e756dcc0eb054370033cae3ef15","datavalue":{"value":{"entity-type":"item","numeric-id":1049752,"id":"Q1049752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049753$F572DFBF-82E3-4784-8DF3-A773FD3C41EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049753$92D4D6F2-C9FB-411F-B5A6-611B58A3C75D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"881d7755ed56ad45091e513ac6c64caeecaa15ad","datavalue":{"value":{"time":"+2010-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1049753$47AEB7B9-7EAD-4E6A-AA80-BEC7C5912492","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"332b59fa9aa8bfb4a4a2d0095eb28600e187862d","datavalue":{"value":"The paper gives an extension of a previous result by the author [Notre Dame J. Formal Logic 47, No. 1, 39--62 (2006; Zbl 1105.03025)] from propositional calculus to first-order logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049753$B37E3F6A-84FA-44A2-9E3D-CCD3BCA21008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049753$437DD534-7250-49C8-AADC-ED873EC83A49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee1c68c331fb034c25b6fad36b91c8b6d028632c","datavalue":{"value":"5657683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049753$3C365AA3-2997-479D-A8C9-2B9282CF5858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b3244785965bfce838ec74192f8713f65e20bcd","datavalue":{"value":"intermediate first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049753$39C2FA3A-1DF9-4EC0-8678-517D2C56DF7E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049753$311F2D50-3C1D-4EA9-9FE5-04C84C4B43E9","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":"Q1049753$50B65C7D-01FC-47D5-9F95-F8FC94289973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7eeadb284471e328566e6f4c22652b8f644dd54","datavalue":{"value":{"entity-type":"item","numeric-id":2505130,"id":"Q2505130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a411fc077f29f16c5b3187cd952f4e5b98467c","datavalue":{"value":{"amount":"+0.9581326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$7199C0F6-ABA7-40E4-9B9A-B285B73211E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda629c7abfa88497ab6b57aa319a83c2c1a7984","datavalue":{"value":{"amount":"+0.90104693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$3B8C7BD7-AFB8-4D46-BF29-692AE310F133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5255abf6a616254d89836504b6dd71fac9e3a3","datavalue":{"value":{"entity-type":"item","numeric-id":2804478,"id":"Q2804478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5eac462db4e486098e7efba9e7fc8161dd287e","datavalue":{"value":{"amount":"+0.8919493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$A21EC599-04EB-47D7-A779-17C7426D1B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0528b1a95ac25e7672938cf2137e84e9856dfdb3","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ce13497089348051c81a0c4b1bfad385ff8943","datavalue":{"value":{"amount":"+0.89100146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$619FE1F6-7226-467F-852D-0AA4CF2B7F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd345411df62d8e91bfa2fdb3b7ac46555caaa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2501166,"id":"Q2501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa5e330fc1c7af216e0cfb7d43f7567ecd8fc19","datavalue":{"value":{"amount":"+0.8900616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$C9E68B15-3946-409D-A681-408EF2BBF7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6791f2098bdc88259cf1f0c00716db75a4feb057","datavalue":{"value":{"entity-type":"item","numeric-id":2422309,"id":"Q2422309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1286875b4ee928a9f24f84a516664b87c21c74be","datavalue":{"value":{"amount":"+0.8899907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$7FF152B7-C45E-4C9D-92EE-AAE57CBBAB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd0204cadfbbfa08b5971765237aefa1104065a","datavalue":{"value":{"entity-type":"item","numeric-id":3830978,"id":"Q3830978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35350c481b0b743bb98cb911cb5d337aacf3a2f","datavalue":{"value":{"amount":"+0.88619494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$BB117418-846F-407B-889B-48BC2AF50079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fc08b94def33e48b19f72a436763284695b44e","datavalue":{"value":{"entity-type":"item","numeric-id":3133173,"id":"Q3133173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b5dfc7ae83aa8b474ff62fc4fd734135dafcfd","datavalue":{"value":{"amount":"+0.8836813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$24B9C577-5A50-4D29-872E-C9C48659E311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266725cdfd1cc95ffdd050b888c4682cd7544ca4","datavalue":{"value":{"entity-type":"item","numeric-id":2998377,"id":"Q2998377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e98803b38fa0f02f06c78e863deda1263d4997","datavalue":{"value":{"amount":"+0.8814881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$5D0B817C-1436-4FF1-94E7-6E22E28DDAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d929d7ac4260d1518d4144285a2efb99bb81b4db","datavalue":{"value":{"entity-type":"item","numeric-id":627438,"id":"Q627438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e98803b38fa0f02f06c78e863deda1263d4997","datavalue":{"value":{"amount":"+0.8814881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049753$A1AE3006-DA51-4D44-95A9-9DB094E78CEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflexive intermediate first-order logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflexive_intermediate_first-order_logics"}}}}}