{"entities":{"Q5235069":{"pageid":7264637,"ns":120,"title":"Item:Q5235069","lastrevid":53555510,"modified":"2026-01-25T06:50:50Z","type":"item","id":"Q5235069","labels":{"en":{"language":"en","value":"Incompactness of the \\(\\forall_1\\) fragment of basic second order propositional relevant logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114198"}},"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":"Q5235069$35E42E2C-4BAD-4F34-B7D2-2AD35D7B04D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4cadcc8536c8a6543890f4dd3b02aca7adbd306","datavalue":{"value":{"text":"INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5235069$2E249CDF-6ADA-4FD2-8793-2946188C383A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efb5eb2cbf93f342d5dcb6d8c97ec5e73d57fb90","datavalue":{"value":"1456.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235069$038BC80B-7613-433A-99CC-4CF947C2D4C4","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":"Q5235069$5A0B3A43-0070-4896-BE32-374A315DA504","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69dbb2b4c88052dd4e2de10d8b493ae56163fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3121032,"id":"Q3121032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5235069$ED4703EF-8E14-4A51-AA41-03C436B6880F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0027e7c78970709c142f5f04013afe779ba5e86b","datavalue":{"value":{"time":"+2019-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5235069$1586193A-A916-4B4F-8F8E-06A0ED9401CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235069$3C00518D-CFC5-4DB2-A4F6-3130A0ADFF62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ddbb71fdb2dfb08d629c710f17d1b9d727f9766","datavalue":{"value":"7114198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235069$0C0CF45A-DD39-4645-A161-748A83AD4C22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235069$350124F1-FBBC-4313-8C8A-94FFC380A5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235069$9B94722C-52E0-4C81-ADFF-A23C75CE9A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235069$6C332452-195B-493C-8BC6-8BEB44C1646A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7865f71d28d9e1e9cbbbe0f5a6e45a3cb81149f4","datavalue":{"value":"incompactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235069$8B10ACD3-9209-412B-9EB8-05EAF0272AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c78dd701bde900613005c5df0e5fbf889ef13","datavalue":{"value":"Routley-Meyer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5235069$8F9C5883-EE34-424D-B0D5-29235D6E1439","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":"Q5235069$21E81C5D-EE69-4840-962C-69DD904C8110","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bacc1896a1d413646f44dc663a8a4fee043dea61","datavalue":{"value":"https://doi.org/10.26686/ajl.v16i1.3925","type":"string"},"datatype":"url"},"type":"statement","id":"Q5235069$975C4031-3E41-4D47-B4B2-7268B2F94CC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5fdb18798745ad7ca41d4257fd57eee9f4d3a95","datavalue":{"value":"W2914747123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235069$112A0D59-32B6-467A-B166-7ABCF11F0C43","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0fc29b31e53919179a24e2bef2470369f51bb36a","datavalue":{"value":"Q128472670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235069$63631F44-C99F-45A9-A4C5-7D465EE98FCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f6b10aeafc0df69824de7c13d11518da15a5bb1","datavalue":{"value":"10.26686/AJL.V16I1.3925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5235069$B0CDBBC3-0DAE-45B7-B49F-39D375A2D58F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9118e70e79b00db6520cc85e4bac3fe24f66994e","datavalue":{"value":{"entity-type":"item","numeric-id":1670491,"id":"Q1670491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64292323b58ed3432800012ce056d81aa8a15041","datavalue":{"value":{"amount":"+0.7337445616722107","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":"Q5235069$CD8D1A11-762F-460B-A98B-67F8FB555605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6076118f3c478e429e1a131aeee112a6427205e","datavalue":{"value":{"entity-type":"item","numeric-id":2804477,"id":"Q2804477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a288e2ec6c7c17d647ea1b6dd84ef3e31552077b","datavalue":{"value":{"amount":"+0.7331140041351318","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":"Q5235069$F9ECFF63-18E7-4085-9C7C-0F5C182151EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b11d185af863659a0b1821250d8842107f21ec","datavalue":{"value":{"entity-type":"item","numeric-id":1591336,"id":"Q1591336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc7dc61bfb4869c95cc0a2b9c49d6dd4755b07b","datavalue":{"value":{"amount":"+0.7290717959403992","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":"Q5235069$90A74AF8-5E09-4A80-9D64-CBE2C805B3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c2568932ef95b4667748e2917a02b0d02d95d79","datavalue":{"value":{"entity-type":"item","numeric-id":689216,"id":"Q689216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707296468b3714d4405cd1d9a10fc92a247f9a6a","datavalue":{"value":{"amount":"+0.7262995839118958","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":"Q5235069$F826E1C3-E780-4FA9-9656-B6D9E6CFEE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b45142a4f95592d00ad05aeb3a2756d3d2a93f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3762288,"id":"Q3762288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea74052fc558aa96e20f0d8671966bf2fef8795","datavalue":{"value":{"amount":"+0.7166268825531006","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":"Q5235069$B9BBD625-0DBE-4E1A-BC99-C3BB0D8938DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5235069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5235069"}}}}}