{"entities":{"Q5079746":{"pageid":7109322,"ns":120,"title":"Item:Q5079746","lastrevid":55409761,"modified":"2026-02-17T15:49:02Z","type":"item","id":"Q5079746","labels":{"en":{"language":"en","value":"Expressivity within second-order transitive-closure logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533347"}},"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":"Q5079746$D09A59F7-4B4F-4EC8-B510-E44C7E74D720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226ec6a2e0bf98d20b25e1e8bd5791eb63a56d88","datavalue":{"value":{"entity-type":"item","numeric-id":313978,"id":"Q313978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$B895FDC9-0306-4976-A5DC-4058804EF60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d17eed939d4be15a044dfb000abeabaaa52a52","datavalue":{"value":{"entity-type":"item","numeric-id":256712,"id":"Q256712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$460B5676-E8DC-4448-8D04-F61A28A01E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$1C36DC5F-CA32-4CCE-9351-E4F46C9482C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079746$55F677A0-D94C-40FC-B8B4-C1CA91BB93D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74e5c7edf90235bdaae46a6a2d2a990fcf7d9e2a","datavalue":{"value":"https://arxiv.org/abs/1804.05926","type":"string"},"datatype":"url"},"type":"statement","id":"Q5079746$38BCC02C-16BE-4F7E-9405-091B3A2D48FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079746$B10E5A6F-1AFC-40E0-BEE0-7057FB27B970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7306ce14aae228063b380f78aee60c65700971c3","datavalue":{"value":"7533347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079746$7CA9C3B9-D258-4DBC-9D02-043E28021407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079746$F3B26E9D-8A7B-499B-B4DA-CB77B00E40C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f998f00eab658ec802472cad8ca9638097d79a69","datavalue":{"value":"higher-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079746$263D3EA5-7F41-4F9D-8746-EE6E562B71E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079746$94DB2EF2-6B3A-4751-9AB6-EA9C9E70CA9B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$B462AFFF-0A47-4C73-9294-ED60F0EA32C2","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":"Q5079746$14FFF31E-E898-4210-A92D-3DE3E94CFB5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c430384783ace9c4c18d6cfbcc0dae62fd879c","datavalue":{"value":{"entity-type":"item","numeric-id":3204028,"id":"Q3204028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$FF17D377-B2C3-4399-8FDC-D7A47D5EF9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$7D2B53A4-7FEE-4487-B868-BF4CEED5D2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4417f4ccf31e03030a47b7f7d0b8893b78aae0dc","datavalue":{"value":{"entity-type":"item","numeric-id":3082946,"id":"Q3082946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$A494086E-EC03-48A4-BDF5-757FCCB1A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b4a9f2232a09b3ee997b647e932b80a9aee47da","datavalue":{"value":{"entity-type":"item","numeric-id":1854519,"id":"Q1854519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$9671A493-36E3-4A98-8DA3-066DECD0B176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadd920105fd2dc8c3c88d08d58848760b22122","datavalue":{"value":{"entity-type":"item","numeric-id":1125059,"id":"Q1125059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$52F7F995-B562-441E-9623-A45E4C690A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84f4dde9abcb3867b7badef2b037c558131e664","datavalue":{"value":{"entity-type":"item","numeric-id":1680258,"id":"Q1680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$1F9CA2E9-13CE-4007-9E90-A4B7D65A9330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d12695d4a3731e56edebe1f68edf8feccbdbd8","datavalue":{"value":{"entity-type":"item","numeric-id":4398864,"id":"Q4398864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$0B47A25A-0A48-466C-93E8-06993F0520DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$2AE05463-3BD5-48A0-9981-22D0447747F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b3ff554a95ba9165844042be00e41e2a69c90","datavalue":{"value":{"entity-type":"item","numeric-id":1822501,"id":"Q1822501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$C4B33F48-C251-48EA-8C95-C38CB6E559AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8ded06ea25487612e26a0a728cfa41b8d8f646","datavalue":{"value":{"entity-type":"item","numeric-id":1842126,"id":"Q1842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$B1467F1D-B78F-4AEB-893C-F62547558875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$91EF0AED-8F68-4A3A-B448-B59EF6ECD257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055e28b58d52815611c187a2e927105a88953565","datavalue":{"value":{"entity-type":"item","numeric-id":1685920,"id":"Q1685920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$009D4AA8-079A-44CE-A449-87322B241E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610ddc4f835e5c8cfce68b30a2b6085269f3190","datavalue":{"value":{"entity-type":"item","numeric-id":5176677,"id":"Q5176677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$75D78DD1-A342-4B1D-B3FA-61E7B37F22CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4ce94fd036d8df30174fe6ce726c33ab9a507c","datavalue":{"value":{"entity-type":"item","numeric-id":5419118,"id":"Q5419118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$9D3CA1E7-6DE5-42E3-BA7C-AA1F431E65FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46522e4fba2913fbfce618ec550ae0397d19c411","datavalue":{"value":{"entity-type":"item","numeric-id":3718149,"id":"Q3718149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$294085F3-F54C-4775-8BB2-B4C8E99CF6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902fdcf74998a1444a82e1d931ed2cb2c0533230","datavalue":{"value":{"entity-type":"item","numeric-id":2362496,"id":"Q2362496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$6A7A8651-100E-4E0E-8BDA-220964B8FB5D","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":"Q5079746$09DBFEAE-C9FB-443D-AECE-FDA5C020D615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$A705C611-9E52-4119-A21B-00B5C515EE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$3EEAC3DB-473F-4D0C-ACE3-0F13CAC57EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$5DE7C420-07BB-4958-BB3D-88E049B25028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$4C326D32-163F-4F6A-893E-C47E89421A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7dbfdfd0ea6f84dc6b357e958197548f1f9e28","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$DB7D1005-B854-43FB-962F-30C18F27B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf30ebda7cae02a0b8591aeb8b186225e12cfab","datavalue":{"value":{"entity-type":"item","numeric-id":5738932,"id":"Q5738932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$2452E3D9-310C-45A3-B4F8-F6EDDEF85235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703408eb0bccdad6f23c6c0f85545dfaa4f3910c","datavalue":{"value":{"entity-type":"item","numeric-id":5311269,"id":"Q5311269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$2B614A27-D69B-47B6-9F0B-933BACD6B158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1bbe1148d69f95adfa0daf5ff96340d58dd4596","datavalue":{"value":{"entity-type":"item","numeric-id":1774488,"id":"Q1774488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$C477B4DD-B384-4B92-B215-61FABB592897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f97e4cf93700824739384524ef8d401c8672b86","datavalue":{"value":{"entity-type":"item","numeric-id":1306791,"id":"Q1306791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079746$4BCFC728-5F2F-4480-9DC7-0046684DF7EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1aa45376419698a5d27d54dca2f2351492efde7","datavalue":{"value":"10.4230/LIPICS.CSL.2018.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079746$D4D4CBF1-FB4A-4F2F-8540-3A3208CEAF0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ef65a46726415f894b24305c68bc0ab61c093","datavalue":{"value":{"entity-type":"item","numeric-id":4202939,"id":"Q4202939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016b986ada29203deda8bb165194777e130fdad8","datavalue":{"value":{"amount":"+0.776942253112793","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":"Q5079746$F326DF6D-58DB-4961-85AB-DF29A190F64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6d448ab9d1bb3fb0eec83a2652dcc6c65af9ff","datavalue":{"value":{"entity-type":"item","numeric-id":1893732,"id":"Q1893732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed70fcd4f0b841aba9ca3914faf35de6de947c3","datavalue":{"value":{"amount":"+0.7617620229721069","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":"Q5079746$CAB55B60-887C-4E57-AE8D-1E2BC6F8711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fa6670f3e8897b6789f76edd8d4a76d31525df","datavalue":{"value":{"entity-type":"item","numeric-id":4917997,"id":"Q4917997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a939eeb3cb17f8cbb41fb6375ea12f43b85dd5bf","datavalue":{"value":{"amount":"+0.7476902604103088","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":"Q5079746$C0FA7B67-3728-4686-9D8F-FD6544EE0A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9fddec6c26b792613268c7e9cd81f9f92fc1b1","datavalue":{"value":{"entity-type":"item","numeric-id":4381388,"id":"Q4381388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ba6346b139a5371a26ace299f089a614a7ecd1","datavalue":{"value":{"amount":"+0.7443945407867432","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":"Q5079746$A9D2642D-5A73-49D1-9707-17BDAFA3B7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0bd0c7d0607f859fe32ddf8a9a0f93f7830bc5c","datavalue":{"value":{"entity-type":"item","numeric-id":6064291,"id":"Q6064291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d100ded2f2739ae20a71c167e93e3ed9d2984ba4","datavalue":{"value":{"amount":"+0.741797924041748","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":"Q5079746$86BB43B5-DE81-4C2A-BF1D-8200621428B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079746"}}}}}