{"entities":{"Q4318160":{"pageid":6347761,"ns":120,"title":"Item:Q4318160","lastrevid":41620073,"modified":"2025-05-06T11:06:59Z","type":"item","id":"Q4318160","labels":{"en":{"language":"en","value":"Linguistics, Logic and Finite Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 706778"}},"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":"Q4318160$8124FE85-2389-45A9-8615-949DEE48AE00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19270615a09437ad3838f1e29d1a0b23026326b8","datavalue":{"value":{"text":"Linguistics, Logic and Finite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4318160$FE854BEA-9010-43E8-B4F1-594788231FCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c52092921b74be13f1870f49f9759a028679e60","datavalue":{"value":"0810.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318160$1E79550F-50BB-4418-90DF-7E272A8A37B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318160$CB9A99F0-64D1-40F7-9D4A-CC07A838C50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d037751cf789dd4facbc7be7ba5666e4a37ffd1","datavalue":{"value":{"entity-type":"item","numeric-id":2762875,"id":"Q2762875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318160$603C54B4-00C0-4280-B0CB-FFBEA1E9353D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fec002a86967a3d68ab1d50269b51e2d2e883c0","datavalue":{"value":{"time":"+1995-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4318160$8096B3CB-44ED-4CF5-AB82-366F1B899B0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adb17792f0c87aeed7682aa7b3f851d245e6a485","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26321","type":"string"},"datatype":"url"},"type":"statement","id":"Q4318160$FA5A361D-EA37-4AED-824B-DEC85E62E62C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318160$CF4CAB87-9D6C-4199-A28F-2A6726D2A5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318160$9F2406E5-2E40-4F18-9551-DD4F314A1F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318160$674E7D69-16D4-4F26-80BF-063B479965DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b55c2766b65d345506e25b7afcdcacdbf5c0fe6","datavalue":{"value":"706778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318160$0541BB57-F27B-49A2-B0C4-1427909ADD95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667d703af7ca2e1b8ff23111637d7052f2851aa0","datavalue":{"value":"fibred semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318160$B8406A2A-8EDA-4525-B2F5-7B0D845A090D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318160$D880A3E4-8467-4913-882F-AB9B66E4AB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d703ee73a74955c4f9da2185f36bb37ca18ffb3","datavalue":{"value":"finite ordered binary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318160$AFBB9D6D-85C1-4685-B748-6FCF4987CD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dba059568a93049f278a021402ee2911f4f0849c","datavalue":{"value":"context free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318160$A946106D-D66E-439A-A32C-B2DF0C35DE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4237a8f1f6c3cd297621f89b9cc49282ee359a","datavalue":{"value":"command relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318160$8B0C8E48-1502-4BCE-876F-ED1FCFDE9066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93f42812083b005f34220ea7fcfb4c3a3c6d6b5","datavalue":{"value":"feature structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318160$7E41B178-7327-40BA-B1C1-94C570411D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f68a4e3fbf6fb7eb5a8a21455f96833f38660b7e","datavalue":{"value":"axiomatic proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318160$26A89265-6715-47CD-BA99-2B2758F9F712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318160$53FC8D04-8C4C-4EE9-B4D8-89DCF3698E08","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":"Q4318160$913D0FB3-47DA-4222-BC86-761C51A3BE5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1c53aa31de5cb8da170b37b749c2af9021dc543","datavalue":{"value":"W2017658637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318160$4CA8E6FB-31D3-4404-871A-5A1B35AE2D82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf3eacedec9508026299d44767e5098409a66af5","datavalue":{"value":"10.1093/JIGPAL/2.1.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318160$06BD1B5A-A727-468F-82B8-C38D9FAD2EE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318160$584048BB-F24F-4AF6-AC06-FE48CE3B6AEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a0bd2b0f55e76eff8f80379c1ae1ab36d82fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3221429,"id":"Q3221429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8c4e475712bb5fae7e72d1b67527bc3bb80b70","datavalue":{"value":{"amount":"+0.9199663","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":"Q4318160$0CADA796-F3CB-470F-AD70-55E9525CA66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bba46c035aebaa10c764e0f243ab742f60d70f1","datavalue":{"value":{"entity-type":"item","numeric-id":1379288,"id":"Q1379288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1fa1c2b4b17df9e1ccc8985d5bb132bda5148a","datavalue":{"value":{"amount":"+0.891568","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":"Q4318160$BDABA7DE-137B-41A3-8BD0-4881A95A2DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"981feabf0ce06e900b6bf89118db4649b46ac7e7","datavalue":{"value":{"entity-type":"item","numeric-id":1391740,"id":"Q1391740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1825eb61f1693a16939372b3f6b24e7789167d","datavalue":{"value":{"amount":"+0.88778174","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":"Q4318160$E2CA6541-1314-4014-BD5F-9352EDC6EAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b5e1635eceac0e68fd5b5682f3afdb60858307","datavalue":{"value":{"entity-type":"item","numeric-id":4475075,"id":"Q4475075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed7a5ea4c0c4048600b99218e637f624647a28f","datavalue":{"value":{"amount":"+0.88537824","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":"Q4318160$F86E6F49-9F11-4F73-BC90-58345E6A0CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bcdb18f679edb14d60db8b5aa0ba9aafeb9935","datavalue":{"value":{"entity-type":"item","numeric-id":4273660,"id":"Q4273660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6ca9b7e3c6800880caa046c8d7c74c787654e0","datavalue":{"value":{"amount":"+0.8853466","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":"Q4318160$AF6A7575-C12C-46C6-B862-BC1D61B59A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4996d203f2d9a00d88b4c628c7d72d18f53e9d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3460900,"id":"Q3460900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b940d3696340c916881a545d8d7daeee81e27be","datavalue":{"value":{"amount":"+0.88384527","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":"Q4318160$04ABBA30-CFC9-4D74-BAAB-21E442663C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b0b65db94ff2331d2847f6639910e120616965","datavalue":{"value":{"entity-type":"item","numeric-id":3992583,"id":"Q3992583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25e95b37485e71b5296831b6e253cfced09541e","datavalue":{"value":{"amount":"+0.8791269","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":"Q4318160$F9F5EEA4-6795-49A3-9940-725B3F42457C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff179fd83babc53d15c0a6d6b606ffa43aaea8b8","datavalue":{"value":{"entity-type":"item","numeric-id":4981243,"id":"Q4981243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565641d26a1b5137c3431a0d4a37f8d0286ee62e","datavalue":{"value":{"amount":"+0.8779649","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":"Q4318160$FA014704-234C-40AB-B878-5CE479E5228F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e864d10dbcd29d70fb4709dddbcb90c28bb6c1","datavalue":{"value":{"entity-type":"item","numeric-id":3632309,"id":"Q3632309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c02119e2b5f686c25b095385983d9c728de9db","datavalue":{"value":{"amount":"+0.87450695","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":"Q4318160$E8558C79-BDD1-42F7-A93C-125A43E659F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e4cf396778cdee97426c25ec1e6f4a39f14547","datavalue":{"value":{"entity-type":"item","numeric-id":4532206,"id":"Q4532206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d094a3d7960cbb97458815267d27eba399fc14fd","datavalue":{"value":{"amount":"+0.8741021","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":"Q4318160$4EDBF34D-DFF9-4B7D-A4F8-7F9EBDE9662C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4318160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4318160"}}}}}