{"entities":{"Q2140479":{"pageid":2151222,"ns":120,"title":"Item:Q2140479","lastrevid":82531487,"modified":"2026-05-06T21:07:30Z","type":"item","id":"Q2140479","labels":{"en":{"language":"en","value":"First-order logic and its infinitary quantifier extensions over countable words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7530223"}},"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":"Q2140479$EA0CA1E5-7CDE-49C5-98C9-DF875228B4A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22dd932804d3522d72c06a4f6e8898fc39651b27","datavalue":{"value":{"text":"First-order logic and its infinitary quantifier extensions over countable words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2140479$CD9D1EA8-61A1-428D-B028-CAF20F388D7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c82ea27d388da2a7d633c7c8fc028745046df9f8","datavalue":{"value":"10.1007/978-3-030-86593-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140479$954BFC55-F4B4-4F0E-A121-0BC6964B35A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec514fe460115e16fa2381aba3b18f8dbe14f2c0","datavalue":{"value":{"entity-type":"item","numeric-id":904142,"id":"Q904142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$040A5D12-2AE2-4F86-9F32-10CA214B088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4bead2067434c4d8ae91a1820e7027c9ac13185","datavalue":{"value":{"entity-type":"item","numeric-id":2140477,"id":"Q2140477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$F943E301-06D6-49AE-AE22-2C40AA2BC883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"920f7a9d4ba9554edb9692cfc5816b0fc7e0b54a","datavalue":{"value":{"entity-type":"item","numeric-id":2140478,"id":"Q2140478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$05795E2D-E51B-4F8C-A2FC-EA7E8BD605B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"baa76a50258ba2e3eda6ed9aa2a8bc9741ff28a8","datavalue":{"value":{"time":"+2022-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2140479$3EA57E89-E544-422B-BAD8-BFAA0A4F165F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc9ec6509b3b99af4e7bb9d340a030ff2ec4dc86","datavalue":{"value":"https://arxiv.org/abs/2107.01468","type":"string"},"datatype":"url"},"type":"statement","id":"Q2140479$798D81E0-317E-4D1D-A0E8-8F3FCC9E73B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140479$B1FFB0C1-C413-4611-B8D1-576A30574851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ef2aaa6162347c7838c31fd36801a25a753b136","datavalue":{"value":"7530223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140479$C2AB09FA-E057-46C8-BCF4-E2A35F1C5659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7ff06915640661c74cfb05c126b6d351e97ce8","datavalue":{"value":"countable words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140479$2AB5FBA9-67A7-4BAE-A3A4-0A88E471A380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140479$1295AE58-CDB5-442F-B4CC-DC1B61127703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0206b3ce899f46214672b76de6b4000dbeb8f6f","datavalue":{"value":"monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140479$E4408E11-C0E7-43FE-8D96-E91587E0B638","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":"Q2140479$7A9A13EC-A5CA-4B11-BA51-B7BDCED8AB3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b704405198c38d13d877e2d2f3d43f8a3d5d5a6","datavalue":{"value":"W3199627414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140479$635132D4-8E1F-4E31-A71D-948D2B57AD75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b91cb0371460709132af41c0b51c9f30964f8c3","datavalue":{"value":{"entity-type":"item","numeric-id":3884080,"id":"Q3884080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$6DF631AF-1046-4DFD-AE90-7C4FFF43F232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2be291047d55d84aa54e431fa6f53d9bcc7986","datavalue":{"value":{"entity-type":"item","numeric-id":2915674,"id":"Q2915674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$67017021-BE42-44D2-80B4-FD09A90400D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d086c060366969668cf196cfe4d35bc1e12019","datavalue":{"value":{"entity-type":"item","numeric-id":4692085,"id":"Q4692085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$B3AC678B-DEF9-4803-84C5-EF6A57916042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54089e5a315862ba3b0ae05ed437c226708aa5b3","datavalue":{"value":{"entity-type":"item","numeric-id":3449472,"id":"Q3449472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$4421DB6D-302B-424C-A7E9-3B9192686A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0224cc11e92917094ceee66bf62982a9eb25550a","datavalue":{"value":{"entity-type":"item","numeric-id":3538848,"id":"Q3538848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$FCCCF57D-4BEE-4CFD-92D1-B2B4A2BBDEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4f42da1ca70eae4486b2adc0ca5052bd5a361e","datavalue":{"value":{"entity-type":"item","numeric-id":1328657,"id":"Q1328657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$D35EEBBB-46F0-4EC1-9D1E-1F954861A66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca11b24bda5499c215933e3d0e20dea61b6262d","datavalue":{"value":{"entity-type":"item","numeric-id":4608629,"id":"Q4608629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$02E65E88-05BD-4B05-AA6A-8C10F0118AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$93EF27CF-41DE-4381-A751-BB2654B1B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$BFB83978-EEBC-42AE-B93A-129A365C2CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$15C8F17E-6002-4916-A2C5-F2EB8A400C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$8805AEC3-AEDA-47CA-9FAF-EE2F15050323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3626f68b3e5ec0492e6a80f03a49c491f73d2757","datavalue":{"value":{"entity-type":"item","numeric-id":3806849,"id":"Q3806849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140479$DF05EF28-E7D4-449B-9310-F0EE8E260EAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order logic and its infinitary quantifier extensions over countable words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_logic_and_its_infinitary_quantifier_extensions_over_countable_words"}}}}}