{"entities":{"Q3066290":{"pageid":3077006,"ns":120,"title":"Item:Q3066290","lastrevid":51160346,"modified":"2026-01-17T00:14:20Z","type":"item","id":"Q3066290","labels":{"en":{"language":"en","value":"The quantifier complexity of polynomial-size iterated definitions in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834269"}},"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":"Q3066290$223FC2E2-63B7-43A5-BFDC-D18D3B91C09D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"488e3a3100984843e864878ff0ebdca2433d9eb7","datavalue":{"value":{"text":"The quantifier complexity of polynomial-size iterated definitions in first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066290$C9FD3033-89C5-4E23-8330-89735E6802C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efae2cbbe0ef6f2bc3c9d450f475291543a7974f","datavalue":{"value":"1209.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066290$00780ED4-04A2-4BF6-A1FE-A57E289DED12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c3d0d45435c78fb33bf7b28974cc885db22e7f","datavalue":{"value":{"entity-type":"item","numeric-id":435189,"id":"Q435189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066290$21898CF8-9F0D-45A4-9A2A-FC8A9FB0A06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066290$C3A07C6A-FD41-4916-ADF0-1C5638662AF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066290$D98FB251-4646-4902-B96E-22BF48AB3D48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740e49878700078887fbe9d119b7ad1f67f22eba","datavalue":{"value":{"time":"+2011-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066290$4B1D0A6C-4802-4E19-8F2D-1EBC36C1BB97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066290$E6940CF2-CA54-4EF7-9526-207B5B33A59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066290$4F7A7755-CC10-4754-B53B-02CB5909ECC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7d824d74de2ea2fd61793f84134571885d65246","datavalue":{"value":"5834269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066290$11A5BA9E-9C04-4D93-AFB9-BEDF58ED73BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfacddd6068a766e7d5306f6e44354f2725d881b","datavalue":{"value":"iterated definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066290$8EAEA48B-62DE-43FD-B105-C83540C20808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15d6d69f87398f23808b6d49b1183fc9ce42ae5","datavalue":{"value":"recursive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066290$49BE88B8-8AF1-467A-B1F3-118734833889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a39999d80740e49a5409c35323fbca9d1fefad","datavalue":{"value":"quantifier complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066290$1D3CCB43-7979-42D5-8505-2D912816795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a71691ca4ea7471f26a12b7cd20ea03fac799c3","datavalue":{"value":"finite quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066290$04259B76-AEF2-4B0E-BD54-197A5D46F3C1","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":"Q3066290$7B343046-7717-4C40-84F7-91891FBBCB27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cc36c56603caca5b634c5e883413460d970a244","datavalue":{"value":"https://doi.org/10.1002/malq.200910111","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066290$ED0CFED8-7C15-421D-A8B1-C8A7650BD70F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65b9a010947593f459531f5aeeea347d2e27391b","datavalue":{"value":"W2144615401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066290$35319C63-1117-448C-92B6-FEB2482F9AD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066290$65A808BC-3387-4532-8779-D876DF958DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066290$085D5D1E-A387-4768-B94E-F80F5CF4E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066290$CF74D2AE-38CD-45D3-832A-1DF35E233887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25408778fd40cc1c49b7e709ad0c6eeee7cf0638","datavalue":{"value":"10.1002/MALQ.200910111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066290$EAB30635-0A6B-4F6B-BF42-F9F2E8ABAC38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3610914827c58d6343ac6778757b1ed316aa36f5","datavalue":{"value":{"entity-type":"item","numeric-id":4358054,"id":"Q4358054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae2faebf5fb888cc6e17c46083227238d6365ff","datavalue":{"value":{"amount":"+0.7166036367416382","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":"Q3066290$4B2C7550-4C03-4F49-8A69-D06DDDF03198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17dbae7f00f5de3071be14e213b0f9dba9c351ea","datavalue":{"value":{"entity-type":"item","numeric-id":5111186,"id":"Q5111186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae2faebf5fb888cc6e17c46083227238d6365ff","datavalue":{"value":{"amount":"+0.7166036367416382","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":"Q3066290$7E3A0CDC-9773-48B3-879E-CB2B54045694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da32118e0fd83ee60b816dbc9329f9f1c2c06411","datavalue":{"value":{"entity-type":"item","numeric-id":5204302,"id":"Q5204302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7222eec80d99f8b5e5e658750a87a9d693e1b81","datavalue":{"value":{"amount":"+0.7152577638626099","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":"Q3066290$756AD502-6E76-46AE-A909-8DBA19134CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212ab4ff6de48fcf29e3b511d113d233bb999f24","datavalue":{"value":{"entity-type":"item","numeric-id":1569817,"id":"Q1569817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91f97d6d5b3a86ea2398d5b7ff692547902e613","datavalue":{"value":{"amount":"+0.7135888934135437","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":"Q3066290$23504533-5242-4347-BDD6-4D9EFEB47918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c3762284b92e8d8f1c78dd99c8f8a279516870","datavalue":{"value":{"entity-type":"item","numeric-id":3722427,"id":"Q3722427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1697c102bc39f6357c3020f3218346de8f2ad22a","datavalue":{"value":{"amount":"+0.7125329375267029","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":"Q3066290$0CBEF09B-B4C5-4D52-BF62-5A44CCBABDE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3066290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3066290"}}}}}