{"entities":{"Q4666943":{"pageid":6696524,"ns":120,"title":"Item:Q4666943","lastrevid":97955213,"modified":"2026-06-05T15:54:41Z","type":"item","id":"Q4666943","labels":{"en":{"language":"en","value":"A local normal form theorem for infinitary logic with unary quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153739"}},"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":"Q4666943$663AB2A5-330F-4BA4-BCCA-F24693D164AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cfe76dd9b2fb86b37a12b3edd490caf87a7e802","datavalue":{"value":{"text":"A local normal form theorem for infinitary logic with unary quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4666943$F68E5F1D-0E82-44D9-B046-3BCA2EE321CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9824950e0e9e8534e7afa2aeec707dcc94cb194f","datavalue":{"value":"1060.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666943$82234C09-252F-41C3-99DE-F48077E2D064","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb0aaf2cb17a70a009b0ece4f2356bce41c3167","datavalue":{"value":{"entity-type":"item","numeric-id":386148,"id":"Q386148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666943$D5551C55-D52B-440C-8ED1-6AE89F61A507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba2cb4144e61d542f3d47470faf20a6447a1c5ea","datavalue":{"value":{"entity-type":"item","numeric-id":1633212,"id":"Q1633212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666943$2E31EC2E-CA2C-4060-A7B1-486358CAC78B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666943$9144B95B-BF12-463F-9789-0C2D21F77EF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-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":"Q4666943$121FBE05-23B3-4EA8-9306-67C1998D72ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666943$C21BEA79-47F1-402C-A81F-311C145DC71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666943$C0D9D50E-6336-4584-9300-B1D9539DC61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666943$977289A1-E8B4-462E-B15A-E5CA22572DF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbd3bf5f17b57faf3fdb6022b59f8b85d4a3e106","datavalue":{"value":"2153739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666943$0E05733F-1400-47E2-9BEA-9D9E15E24F88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4666943$13B24B01-BC89-4322-BB44-341F7DD68B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4666943$D31CF083-D30D-4D1F-9BA0-0EEF8E979DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5b73a08163a09a75cd91878ee7b2e9cf204284","datavalue":{"value":"locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4666943$5B38F3D4-FC84-4F8D-9F90-2F9032060912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4666943$67BEB526-F241-4828-9116-912EDBB9240C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b790cb958fa9d8189bbd1cfea11c1a48bbb3dc1e","datavalue":{"value":"unary quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4666943$D22D02C3-7169-4454-B7EF-46D5C49D6DD6","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":"Q4666943$697BFF83-1399-4806-A7B5-7E9F53A5C3B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd62ba9281d2bce00679dafde4fbb9ef8482a06e","datavalue":{"value":"https://doi.org/10.1002/malq.200410013","type":"string"},"datatype":"url"},"type":"statement","id":"Q4666943$72B57BE3-B43A-4B93-B978-2EBC69548F92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47d0e82ff9615caae6c64f5e06792dfb1cba1b59","datavalue":{"value":"W2159888875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666943$90DDF213-D333-4920-A18D-4A5CFF36D433","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666943$2E26241E-BCBC-45E1-BAE3-EFB3AA1740A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666943$D7CEF37A-85EA-4C7C-94F2-38F8D0A1221F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5592013a7e8331239109831c53e18b2d60e570","datavalue":{"value":{"entity-type":"item","numeric-id":1877096,"id":"Q1877096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666943$D15F6E9E-E0B5-4FF6-9998-59BCCDFC90FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"240e32d8c752090e19019007690f82f59a6ff40f","datavalue":{"value":"10.1002/MALQ.200410013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666943$D9EFE186-0DB2-4703-9D45-D60D231E2E23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ccb900785a04b10a723f29e2357fe0bc182da1","datavalue":{"value":{"entity-type":"item","numeric-id":3836531,"id":"Q3836531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f29d35ab4aa15b8597bf79b6b581aa91bcd39c7","datavalue":{"value":{"amount":"+0.7828137278556824","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":"Q4666943$6648D283-F307-46F6-BCE9-3EACD8B4F7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9cc7ef8fd8d30e2743101b1761bb92158c7984","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7feb668328307c1bc9b8b7555ce9978eaf1c17a","datavalue":{"value":{"amount":"+0.7804288864135742","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":"Q4666943$E33A93AD-9536-441E-878E-25CD49D3BD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa83bbe0239d0521389f5c9e06a07985d4b39e4","datavalue":{"value":{"entity-type":"item","numeric-id":4381395,"id":"Q4381395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0acafb1a8a14f8332b327ef155094b1d11c8e6","datavalue":{"value":{"amount":"+0.7543718218803406","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":"Q4666943$9FA77DA7-86EB-4F2C-B0FF-8EAA3FC9E42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e1006e9bb51b2737b022013d4dd176ead1129d","datavalue":{"value":{"entity-type":"item","numeric-id":2856638,"id":"Q2856638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b579fbfd78616f555294b5ff7be1cf449041521","datavalue":{"value":{"amount":"+0.7543712258338928","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":"Q4666943$DCCD233A-283E-4F70-9391-EE15C3D02668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88be81090168caba90cd3421c1a2afca3f08c83e","datavalue":{"value":{"entity-type":"item","numeric-id":1877096,"id":"Q1877096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41883efb466a93505f883b0f3adcaac120488e38","datavalue":{"value":{"amount":"+0.754200279712677","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":"Q4666943$237F9F2C-2B99-479A-8AC6-5F4B80C282AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A local normal form theorem for infinitary logic with unary quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_local_normal_form_theorem_for_infinitary_logic_with_unary_quantifiers"}}}}}