{"entities":{"Q6856046":{"pageid":20632915,"ns":120,"title":"Item:Q6856046","lastrevid":84259904,"modified":"2026-05-14T07:57:48Z","type":"item","id":"Q6856046","labels":{"en":{"language":"en","value":"Extending the WMSO+U logic with quantification over tuples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8161590"}},"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":"Q6856046$F6EDAE5D-633F-4C13-9DAB-1C96A395F113","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa6b33e0a9d88da8d1a3630a4d13f0ae70ac3789","datavalue":{"value":{"text":"Extending the WMSO+U logic with quantification over tuples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6856046$3864DBE0-DCC7-42C2-BEBC-5C070A8214B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"751c9b443be8b900fd9e20825b47dfe786208662","datavalue":{"value":"10.4230/LIPICS.CSL.2024.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856046$0F3EF3A7-7747-4F61-AB7A-3D88A902202F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f04de052e1016a342edeb4a3c7886bfea0f03aa","datavalue":{"value":{"entity-type":"item","numeric-id":6856045,"id":"Q6856045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$4DA563DC-72C3-492B-AFA5-45AB2B540A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$68247216-7B4B-45A7-B89D-96263D0DD4F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0acc3e310b002e7d9eb6bd1bd0a699ed13f8904","datavalue":{"value":{"time":"+2026-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6856046$A125AC35-38B7-48A7-85AA-8840D01971E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856046$18F08145-2211-468F-AA34-74FD6B641942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856046$D721C237-4E5D-4936-ABDE-2E1F52B25409","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eb65cbb4c979f0fb1fe8a20663419fa59675460","datavalue":{"value":"8161590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856046$70D7435F-7073-4A0E-AFE5-601992E16CD7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$35FC79DE-BDAF-4492-AF29-D64922009D5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856046$9125B611-61C8-4342-B315-B54280348453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856046$AD538BC1-7EDE-4460-BABB-B3B62D415C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856046$626971E8-46F4-4FDA-A495-00B51EEB1ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856046$1DBD1C1D-300B-4260-8461-C529DDB74F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e1b10ce39bfce710d3a1d1c36e1ea4ab25cf78","datavalue":{"value":"recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856046$2781D08D-812F-4B62-A4FB-9DBB0EB94829","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":"Q6856046$14162EED-23C6-4118-9C83-60722EE54233","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de9637af9a8fedcf8ab07e9c2d71e01bf8c23d8","datavalue":{"value":{"entity-type":"item","numeric-id":5565119,"id":"Q5565119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$ACAD2AAD-3FFA-4E5F-8D7F-6D7502944E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc39fccc6dad7040efe03ea4991cd90cf0c2660","datavalue":{"value":{"entity-type":"item","numeric-id":6842461,"id":"Q6842461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$91A5DF72-5705-47B4-BFB2-C99364274FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39921ea5b5cf71915749d2f66167648a28ef38f4","datavalue":{"value":{"entity-type":"item","numeric-id":5311284,"id":"Q5311284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$9028E65B-B10D-4105-B42F-33D576A7AA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a9e72cc7a907f4e0cc2ac1d393b3b2128916b1","datavalue":{"value":{"entity-type":"item","numeric-id":537919,"id":"Q537919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$934449A9-0D07-4FAB-A210-7AADD1766C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc345e4f187b136ccf0ef87dfd35fd64a8775d8","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$43E1B438-7CBD-43BA-85F0-FD34DFAA2D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3faefa91cb38d80ce0012441421cdf35901930","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$C5BF0CA3-EC86-4BC7-A83A-0202CA14226F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74374a8fe3637c3aa0bd4d13c222f64d3f91ffd4","datavalue":{"value":{"entity-type":"item","numeric-id":5687660,"id":"Q5687660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$D3064052-FD43-4BAA-9EC9-7CACF8813BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$EEBD5B4B-D92C-4599-8EB5-9D49D357AC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fdad2a9fa196601b6354a6ce60636f0d1cd1af","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$EC47C9AA-A979-4280-90F0-B65258B732C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59b1468d584257bb767cf0d808ec77140f5d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":5275365,"id":"Q5275365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$DF95E580-9EDF-4955-A3B5-8ECCF46A0B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4630cb20bffc3b123eef8415d7aeb24d2bdd3bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4635865,"id":"Q4635865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$70916063-DC64-4B66-9EEE-0A26D36C748B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fd71d501375c7cdb9c222ae894011237990a73","datavalue":{"value":{"entity-type":"item","numeric-id":3638091,"id":"Q3638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$7BEDC518-142E-4F07-9B16-B695DFEBFC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed7a6acd2abcf87b40a6ef6d2cee2b65b258f22","datavalue":{"value":{"entity-type":"item","numeric-id":4560219,"id":"Q4560219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$4933C0D8-E686-4573-9985-B07CC752ADE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$277DDA29-8F01-43CD-9CCF-2AF7CB348B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$8B4A1EA6-98E2-4FFF-AF77-604CBA4CBB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57cb588ea994c4f69bb0160d83a8c8074f491b","datavalue":{"value":{"entity-type":"item","numeric-id":2957486,"id":"Q2957486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$F9EBFD53-28B9-4E29-B24B-8EC2B0F28AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f432a378a2a52eb6368f54838cec386ee473cf","datavalue":{"value":{"entity-type":"item","numeric-id":2828251,"id":"Q2828251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$C0266438-C6DF-4C7B-805B-CFD686690094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b665a3d5bd4c237eefe65a7de574437410bf835","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$2A527EA2-E47C-4ACC-9E20-FDCC05639E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$27A8999B-DDCB-4968-BDBA-58384E7D5AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7036b55470ecafa335a5dc20bc350fe1a5716a3","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$6C40F543-6994-4525-9DE7-B7C7206DAA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$8E476F03-6A58-4560-8277-CE77FC91D5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b1a67472dc3c0b3bfbbc9de45a19a7b3080cf5","datavalue":{"value":{"entity-type":"item","numeric-id":3304152,"id":"Q3304152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$C555A4AE-F7F9-4DB1-B625-533C03B0E7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6901468716efd74cd218de0afcf63279a665538","datavalue":{"value":{"entity-type":"item","numeric-id":5109508,"id":"Q5109508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$C57ECFBF-EC75-46CD-A9AC-39A7C0DFAAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42538f00a4cf6e948a98fac6ae25405d658496a5","datavalue":{"value":{"entity-type":"item","numeric-id":3386622,"id":"Q3386622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$45CBDE76-FCA7-49F0-B305-2E003B394092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$9FF15523-46B3-44CC-864A-1D2AE62A1C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c93c64c72ec02da95173e8a18fc60dccb0e2ee0","datavalue":{"value":{"entity-type":"item","numeric-id":476196,"id":"Q476196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$9881CECA-A622-473E-83C6-4E6DAF3D2702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8047bcca7e43d3b64f55a847c6c65354dc25e6","datavalue":{"value":{"entity-type":"item","numeric-id":5351960,"id":"Q5351960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$090FB34A-11A9-4FAA-82F2-466FA04C3650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8899f398543bd23bc0a70006c8cddf8efeba9fb","datavalue":{"value":{"entity-type":"item","numeric-id":2973243,"id":"Q2973243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$BA607E61-B464-4AE2-976F-F0DDBF770A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f8786f641875749064af4d37b49188815d546b","datavalue":{"value":{"entity-type":"item","numeric-id":3449495,"id":"Q3449495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856046$2D226AFA-5741-402B-A8F2-539EE8B8AC6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending the WMSO+U logic with quantification over tuples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_the_WMSO%2BU_logic_with_quantification_over_tuples"}}}}}