{"entities":{"Q2804937":{"pageid":2815675,"ns":120,"title":"Item:Q2804937","lastrevid":55971199,"modified":"2026-02-21T15:33:14Z","type":"item","id":"Q2804937","labels":{"en":{"language":"en","value":"On the expressivity of minimal generic quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578006"}},"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":"Q2804937$9E38A523-4AAF-4728-9DE1-F1C939A32A47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e0c72befbd0bb25e856a1cf3411fdbbb59ffa9f","datavalue":{"value":"1337.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804937$C4BDF38D-03DE-4103-A75B-0A1FEA02071B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439fedb2abb0db23850e986c02a9c62295b684a6","datavalue":{"value":{"entity-type":"item","numeric-id":2167735,"id":"Q2167735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$196C44AA-69EA-4B5A-95B2-109664419D83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$90109ABF-5B27-46AE-926A-28334C893B31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9bec7039bb894a69d5c465abb49f44746eabaea","datavalue":{"value":{"time":"+2016-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804937$115BEB25-A342-41AD-93A2-4AFECA21933C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804937$01841F3B-FDFA-49D1-9E31-106ED6CEF96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804937$937D3649-0FC5-438F-98C0-69CC9D245987","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"579da494a7da21e1b81dd82ace2ae9d505c155ea","datavalue":{"value":"6578006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804937$FB06C618-DF7E-49C0-B3F3-6BD6AC34B8AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804937$1D4871D3-0FF0-425B-BA58-947D422F9D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07595cc77f880b083c28b9ffde92d3f0f2b0ecb3","datavalue":{"value":"generic quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804937$757F0322-DEC1-4E5A-A661-49DD5DB5751D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804937$6D95F6BE-DA8D-4617-BB24-536D7A5C56D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804937$4B27BD9A-2865-4B2D-8E8F-7A11F79B3743","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$CC909A0E-9039-4822-AE3E-E32E51FD4417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$5CB740CE-F1E0-4762-9B9F-861D53131198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f30e5dd378d1c8d431ca832dc781025a9796eb77","datavalue":{"value":{"entity-type":"item","numeric-id":21438,"id":"Q21438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$8FFF500C-B3F6-4441-97A9-0C0722375A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$124898B4-6573-42DD-B961-FA2ABAD0039F","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":"Q2804937$0384A82A-678A-4C21-989D-206CF0E5445D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"318c4668c44b1a2ba0e4cfcdd65c557702a7cbfb","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.113","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804937$29437D58-B196-4D36-9F7B-31066EA61E5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"001d20cd46ada860790c4aba2a01cf0a466f28e1","datavalue":{"value":"W2017595664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804937$383F5FC7-3516-4B5B-89DD-730ACD1DB343","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea84eb24d2bab74831d30a1afff94ea8fad8cbdf","datavalue":{"value":{"entity-type":"item","numeric-id":2804937,"id":"Q2804937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$0BB1CF4F-CC8D-40DD-8BE8-564284BE058C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd2134f394c79633368977edccb4641841638f","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$34F6BA51-10BF-42A5-B6AD-B05392ED7C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a4e2ac46cb6ad5ef3b3f7a6520d11cd08fe439","datavalue":{"value":{"entity-type":"item","numeric-id":2767057,"id":"Q2767057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$CC5CBD52-BAF8-4591-8457-78FE0C80BD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b1b6d321e9061de1263bc9768b7050048e21ec","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$9BD157F4-F5C7-4BEA-A42D-B977FDA2505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$FDF37FA4-C719-4E01-BBB6-3AB39C3C3194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$627D8FB9-D911-4084-BEC2-6A46D97A7BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$50B135A0-C5E4-4627-B4A3-F39301487F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a25d0974c4a14532cf07d54fb4d393c25f726f","datavalue":{"value":{"entity-type":"item","numeric-id":2871856,"id":"Q2871856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$FF560451-7578-44EB-8D9A-26F2D29A6E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27aca13846d018c6ac14dde43c650ad766ec813","datavalue":{"value":{"entity-type":"item","numeric-id":5897473,"id":"Q5897473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804937$D8A67903-C72B-4801-8B02-CA74DD78C1BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"307cfb6beab944b514f6a3cf319b6deca1a4104e","datavalue":{"value":"10.1016/J.ENTCS.2008.12.113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804937$0A8A2945-2B82-47B3-A326-17C8812BDFA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c95e6d7b9d0bac65467215d574e8cbb6a07b644a","datavalue":{"value":{"text":"On the expressivity of minimal generic quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804937$03612897-B82D-44AD-96A8-EC8F27949B3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4b1ffc591c0a083f64b17c9868a11b8734a480","datavalue":{"value":{"entity-type":"item","numeric-id":2871856,"id":"Q2871856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8bbe46dfb9e1818d61119ed3cfdf3fcf395e3b","datavalue":{"value":{"amount":"+0.7331311702728271","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":"Q2804937$9B622A8F-DF92-4BE5-A85F-D6026E72C371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3d294911a38c442304db810fccb5b7a372aed8","datavalue":{"value":{"entity-type":"item","numeric-id":2871857,"id":"Q2871857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f75a0e8c4eec50ba364fa6d27fd740f236ef6f3","datavalue":{"value":{"amount":"+0.7081200480461121","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":"Q2804937$A4E48D3E-B4CF-4A9B-80AE-522DCDC7A379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a947540a2fda2afb796df4cea8aa2e47103e559","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413b20fa2df888ba0f17c6c9e692ac8f7c0164b4","datavalue":{"value":{"amount":"+0.6974572539329529","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":"Q2804937$95823C28-842B-46EC-8385-07B87F98B1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d4a044d7a3a1cc0968a929ccf3f585878b3b5f","datavalue":{"value":{"entity-type":"item","numeric-id":4437963,"id":"Q4437963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef7d5d94da5c046ebb35b731614d5cce6398ad2","datavalue":{"value":{"amount":"+0.6743767857551575","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":"Q2804937$CF8EEB04-E33E-44FA-8100-A29C98CB1B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9821a508d4a2e7d97b4965ae2d789ace52ee0dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5311281,"id":"Q5311281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fada86679476e80af55fad3b13553d3a01745231","datavalue":{"value":{"amount":"+0.6737821698188782","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":"Q2804937$E8D5A130-AE57-4B11-A482-831C8F064E09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804937"}}}}}