{"entities":{"Q1693039":{"pageid":1703780,"ns":120,"title":"Item:Q1693039","lastrevid":72534363,"modified":"2026-04-14T05:33:30Z","type":"item","id":"Q1693039","labels":{"en":{"language":"en","value":"Capturing \\(k\\)-ary existential second order logic with \\(k\\)-ary inclusion-exclusion logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6824130"}},"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":"Q1693039$89630D62-ACA6-48C1-9C87-9CFA3978B2C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aea8a9be291d8d1552af578b0581857d409de9fc","datavalue":{"value":{"text":"Capturing \\(k\\)-ary existential second order logic with \\(k\\)-ary inclusion-exclusion logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1693039$2CDA9C4A-1744-41CA-8FC6-B5363E96AD5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dc09f34dbd95344ea45c82ddcd8e1967a18da2a","datavalue":{"value":"1477.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693039$F92954EE-1B56-47B2-A23B-4F51FE48E625","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1d40d28e0398bcf7c4805f2a1cae910df48add","datavalue":{"value":{"entity-type":"item","numeric-id":1679740,"id":"Q1679740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$C6AE9FE1-758F-4312-9513-305649A3BAB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$0CC5B7D0-BA91-4BAA-A8EE-944D0665CB35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256848ce0dfd32b0c1f66d8f44fb1041feec461a","datavalue":{"value":{"time":"+2018-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1693039$98664255-DD18-44E7-8723-A7A367270A62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9c2f4fb1573ebd26a18ae5af67a6ee9ff7aa2c2","datavalue":{"value":"https://arxiv.org/abs/1502.05632","type":"string"},"datatype":"url"},"type":"statement","id":"Q1693039$DD9CB34B-CA7F-4281-A8DB-51FC5F835253","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693039$DE2534E5-2833-48AD-99C1-6A2970742C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693039$CA6AADA3-F3A6-4B43-89C7-461F4389CC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693039$9AB2D2F3-17E3-42CE-8178-AAD678C13EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693039$201198FF-662B-4E46-A11E-E20CC6FA5A2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e17e203723042229be5e3ad9674be26a4d6857e","datavalue":{"value":"6824130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693039$4ECC2C12-4A45-4920-88D9-0EC853E16BED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2b2e6eef46e23cdc3e1cb697fb31e73de17dc87","datavalue":{"value":"inclusion logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693039$A4A993FB-28B2-4995-B2E0-D4430B82846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d7c754d243ae9ec9b4099d3b6fbec3fce606b8","datavalue":{"value":"exclusion logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693039$10809B20-0122-4058-A6DC-246A4FED40E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693039$CBFCA838-0BA2-4869-9A9A-E833340F1175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693039$67AC9C12-8DF9-438A-A3C6-1E8493079D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc29fb6866ff15dbc5079f8d12fecff6f66005b","datavalue":{"value":"existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693039$239D29E3-4A9E-462E-9D08-C3D8B96D99B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693039$4D98372B-1CA1-4E93-ADA8-A36B68D7DE95","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":"Q1693039$E9A65545-6970-4349-BA98-B14CE5CBA2A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"059a90c5e251a84e0ae876e68aed55ceb58b1c1f","datavalue":{"value":"W2962829850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693039$C1DAA7F6-EF96-4EB6-8FCB-DEFEB2364F26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$5D500B20-7308-492C-93E2-4A96EC62883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab30f9bc614ee918d05474c1366ad788139f5cb7","datavalue":{"value":{"entity-type":"item","numeric-id":2946680,"id":"Q2946680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$F43BA9D5-6151-461E-8416-6064AC91CC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$067642E5-6A87-4E71-BDD4-FA23FE915982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b2b310bfe3331f719609c786fd6aba8488c72c","datavalue":{"value":{"entity-type":"item","numeric-id":2958527,"id":"Q2958527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$47F12A42-F749-400F-B2D0-A48C2D729D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d174a5532fba5272b2f046018846c5d54ed5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$0DF0A1AE-332C-4543-A0F4-EBBE518778A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$F5254DB9-250C-4AFC-ACD5-30B22944A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5fe5c18943269f4e58edfe53cdc5f40c4e433f7","datavalue":{"value":{"entity-type":"item","numeric-id":5262488,"id":"Q5262488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$298D996D-6867-431E-8E0D-978F9171CCA8","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":"Q1693039$D37D193B-F249-4E41-92CC-ED89594A140D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$E7CFDB89-5F6B-4479-9565-4BA41BB660BA","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":"Q1693039$E9207261-1325-42DE-B992-61568ADA9A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92026e7083baa0c4851c42e34ad9cd0629631e05","datavalue":{"value":{"entity-type":"item","numeric-id":3459087,"id":"Q3459087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$6DA3B191-9BFE-4015-B5BD-1656F4F0FB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c32fb8f9e506d1ace46aa5d7f8035572c9b467f","datavalue":{"value":{"entity-type":"item","numeric-id":2849431,"id":"Q2849431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$FDDBFC3D-ACBC-4803-902E-3109590CDFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa6873b9769173f427d2c0089648b702e3e0826","datavalue":{"value":{"entity-type":"item","numeric-id":302243,"id":"Q302243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$E3A32BC5-3DA8-4870-B93C-25E13B7CB079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c45cd53e1b450171f37be2a6b654f521b738617","datavalue":{"value":{"entity-type":"item","numeric-id":1693039,"id":"Q1693039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693039$6CC9A023-942A-4402-B095-2C23553EE973","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":"Q1693039$5E796CF6-F99E-47A1-B24C-998908F95405","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f030e13ca86da678b770ee5e1e5f8241c5d2677","datavalue":{"value":"10.1016/J.APAL.2017.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693039$FD3DF2D9-FB1E-44AE-AA42-EE3DA688494A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638ce221910b0c93c996a462343e1f235d4fdfd2","datavalue":{"value":{"entity-type":"item","numeric-id":2273014,"id":"Q2273014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f46f84de20d9241d8d58b6adbab7512a8a477e","datavalue":{"value":{"amount":"+0.8762586116790771","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":"Q1693039$A9F98F06-9C3A-4C2F-B63A-0CE06001DE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8596e4e1f16ae149f656b7596500e8f97ad59fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2820708,"id":"Q2820708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a21a39dfff1444934a16042a392fc638dbd7240","datavalue":{"value":{"amount":"+0.8754088878631592","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":"Q1693039$9B916FBC-66F6-4633-A175-5B957ADD7161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4935b526499a091df40c44f89ba2dc016e9dc864","datavalue":{"value":{"entity-type":"item","numeric-id":5013883,"id":"Q5013883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d287e866e13c95b3d63b4387547404d35b5e90fe","datavalue":{"value":{"amount":"+0.737909197807312","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":"Q1693039$884B2198-CCDD-43A8-8F62-3E5D5C6EE7FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Capturing \\(k\\)-ary existential second order logic with \\(k\\)-ary inclusion-exclusion logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Capturing_%5C(k%5C)-ary_existential_second_order_logic_with_%5C(k%5C)-ary_inclusion-exclusion_logic"}}}}}