{"entities":{"Q2361348":{"pageid":2372091,"ns":120,"title":"Item:Q2361348","lastrevid":52840970,"modified":"2026-01-23T15:10:16Z","type":"item","id":"Q2361348","labels":{"en":{"language":"en","value":"Dependence logic with generalized quantifiers: axiomatizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6737602"}},"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":"Q2361348$437F0D3F-D037-4908-BF2A-8284362DB129","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7b80262165a3ad8f90d1140f0ef33c771ac6f76","datavalue":{"value":{"text":"Dependence logic with generalized quantifiers: axiomatizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2361348$386D1B34-AB0D-4FBC-8604-B153C93E1643","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6320abfb24a3b99bd0a542f7451be12d7aca6d03","datavalue":{"value":"1423.03110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361348$AEEBDEF5-B6BF-4BF9-857A-D3456EC3E2F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9c57d5be3f210994a8a25b53da031f23ee9dda7","datavalue":{"value":{"entity-type":"item","numeric-id":1704086,"id":"Q1704086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$3ED890A9-EE3E-4915-93CE-837B660890B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$3B737F86-852E-4711-BD64-3A3C285C6FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e91bc5e0f61733bb6f4b607f8868935e632c0d","datavalue":{"value":{"entity-type":"item","numeric-id":278764,"id":"Q278764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$183311CD-FF82-4D14-ACBC-0AFB4406657A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$393129AB-33D1-4005-AF1A-96CF27466ECC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"758f9fd6df3ac6c3368addd89bd0f25a24f95ed3","datavalue":{"value":{"time":"+2017-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2361348$3565AC8E-B58C-45E6-B235-7B718B27B8FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e215d6041bb7c6883b4497a5fad367400f5a4d1b","datavalue":{"value":"http://hdl.handle.net/10138/214806","type":"string"},"datatype":"url"},"type":"statement","id":"Q2361348$FD567BC1-10C2-4845-AA54-F31A3024E539","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361348$B91534AA-F66F-4F54-9E89-F6255C862D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361348$B37376B7-3616-4CAD-92D5-7087FD0B4A1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"419a504f6c31890cf2cd64d43eb4f4f616aef56e","datavalue":{"value":"6737602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361348$721C4326-99A8-4EC6-945F-F86B30B858CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361348$AB137745-3BB4-4CA3-936C-CD935E17BD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361348$42754767-BF60-49F2-92BA-9169D53E6CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5869056435166f47b75b96d689d17907a9304a6e","datavalue":{"value":"branching quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361348$207494DB-AC38-4D07-9BAC-24F2D1747663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361348$83C36C8E-854E-499A-8079-A9BD2FDB137C","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":"Q2361348$82D27E91-E671-4EE2-85FD-B9D2EA80C9A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9af3670409d118c69a66137c3668e0613dccd1f6","datavalue":{"value":"W2604996938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361348$844F60F9-7D03-49F2-A9A8-0B0AC03DE18C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"092be92e7b599902deb7b1af066f9095dbab8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":1233865,"id":"Q1233865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$C4D9F3F5-4274-494C-9254-241779C8D77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0fd598c68460686a7eb4ac006433bd8a5b3f32","datavalue":{"value":{"entity-type":"item","numeric-id":1254239,"id":"Q1254239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$02C4115C-3C98-4C9F-9224-E6926ADFC3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6cd049ff431edffd5bad9d535e84ddff9eb5ea","datavalue":{"value":{"entity-type":"item","numeric-id":3775538,"id":"Q3775538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$CDF5AC2E-D517-4454-A73C-22AABB6D0F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0a3675d75472d9cdd547fddb4d75eee4e997e1","datavalue":{"value":{"entity-type":"item","numeric-id":2255198,"id":"Q2255198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$19917836-4925-43ED-90F9-5F223A624D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0a666a2a91395f0a7ae65bb357edfd8c22a1932","datavalue":{"value":{"entity-type":"item","numeric-id":4916562,"id":"Q4916562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$659899A9-B849-46A4-8E92-6BF5A8210FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5ce720dbbbd763ccf4c98704bdd0b854bb6cb3","datavalue":{"value":{"entity-type":"item","numeric-id":1361405,"id":"Q1361405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$1EDA728F-60FE-4C11-A26A-AD74EA044D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$1BAFFE75-CC5E-4B20-8CB0-BD5064F66A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$C08DBE9B-A448-4597-870B-B199626EDB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$622E59F0-740C-4F80-9B62-D11C8A7AC00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ffd914fb40fd415cd6457781b1a74ab632c8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3714044,"id":"Q3714044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$02679AE0-C505-4ACF-9950-13F54BB122EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de2e97cfd28ea719ced4227f556878363f58d68","datavalue":{"value":{"entity-type":"item","numeric-id":5606563,"id":"Q5606563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$915C94CD-F9C7-4C9F-BD34-8FDDC0A31097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e172b6c4797917c0c7ab35b6d560ba28d2c6c64","datavalue":{"value":{"entity-type":"item","numeric-id":1892941,"id":"Q1892941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$0BE39E2C-D77C-4F4B-A536-CF95265693D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04ecbb7382c81ff4c246d8ee37f901be0a41022","datavalue":{"value":{"entity-type":"item","numeric-id":735407,"id":"Q735407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$F203658F-C377-4C91-B6F0-4B720913E5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0d9c99ed1b85578d45abf8667cb84f67c4bb10","datavalue":{"value":{"entity-type":"item","numeric-id":388209,"id":"Q388209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$1FC89CED-20B8-4D6B-9580-8B9EA7EAC20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03344fb3809ac2d00cb9b60c5a358c8728ef000","datavalue":{"value":{"entity-type":"item","numeric-id":3113046,"id":"Q3113046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$69CEC20D-8B18-4B31-A282-ACF3FD3CD7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0203d9e00aed28ca70cd9e1e6681eb3a66ca80","datavalue":{"value":{"entity-type":"item","numeric-id":4141237,"id":"Q4141237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$73B4C6FD-AAE4-48F4-9BC0-AA27345FBEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$0E82D0D9-0C58-4BB4-B1D4-C8B97CCB8065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361348$541FD0A1-D293-4E3E-8C09-15ABC777978A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93e6560c3662114006735dd3d8ba9834f119e8a8","datavalue":{"value":"10.1016/J.JCSS.2017.03.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361348$96748253-44B2-490B-89F7-9FE606071031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0257bd6a55b3dd670a5fed1d0945dc503a1f9f","datavalue":{"value":{"entity-type":"item","numeric-id":2849428,"id":"Q2849428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822f237dfdc2cf2a3e3ea573b6f957707c19e9db","datavalue":{"value":{"amount":"+0.9995113015174866","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":"Q2361348$A1BE4ADD-81C3-4AB7-8EE7-7E6B6ED6A6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6057b352b5c03d775d5af43414e2ad5c738df310","datavalue":{"value":{"entity-type":"item","numeric-id":4842271,"id":"Q4842271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6512c827eeefd2837f92a4e19bc1af20e8dbbb","datavalue":{"value":{"amount":"+0.8428276181221008","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":"Q2361348$94D9CC35-EF72-4ADA-976D-DC70415FF695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf905e2862399aed2ae52ea5c17d1dd27735562","datavalue":{"value":{"entity-type":"item","numeric-id":2911629,"id":"Q2911629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6512c827eeefd2837f92a4e19bc1af20e8dbbb","datavalue":{"value":{"amount":"+0.8428276181221008","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":"Q2361348$3A301312-9CCF-46AC-B243-ABB443A16A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7990f0c01f2dd560414dfebec05c44a8c1bf07f","datavalue":{"value":{"entity-type":"item","numeric-id":2255198,"id":"Q2255198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160b07a6f6bdaa6bceacb76f2ae2a1c950e6b54f","datavalue":{"value":{"amount":"+0.8246580362319946","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":"Q2361348$4ADF06C0-90D1-43E8-B732-38166680EC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3ee318bf33ea386c29f2b82730213cebbdf637","datavalue":{"value":{"entity-type":"item","numeric-id":388209,"id":"Q388209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a0f55a12ab6414a0061472c28d6c3794268f98","datavalue":{"value":{"amount":"+0.787514328956604","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":"Q2361348$7949C4CA-30E8-4A14-ABCA-DAEB2AE0EF07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2361348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2361348"}}}}}