{"entities":{"Q6851646":{"pageid":20606539,"ns":120,"title":"Item:Q6851646","lastrevid":75073360,"modified":"2026-04-17T18:17:19Z","type":"item","id":"Q6851646","labels":{"en":{"language":"en","value":"Embedded finite models beyond restricted quantifier collapse"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8165624"}},"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":"Q6851646$53725401-04F6-4067-907C-45AC2B74F72E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86e4a2c078d94974b11196ad1f4eb947105640e2","datavalue":{"value":{"text":"Embedded finite models beyond restricted quantifier collapse","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6851646$A22968C2-89CD-499E-962B-4C9A1287B995","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b124616a9a9cff04403ae4e418d41f2e3b452a8","datavalue":{"value":"10.1109/LICS56636.2023.10175804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851646$31FBD565-F6C7-4157-B62E-9D8726217D2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67705e1e44642039902bf4ef21e5fd6d7a30c49f","datavalue":{"value":{"entity-type":"item","numeric-id":394743,"id":"Q394743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851646$BACCD85F-9DC4-4026-935E-200787E2A426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81a36459acd27218b07e422d4afc40831fc6943c","datavalue":{"value":{"entity-type":"item","numeric-id":207406,"id":"Q207406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851646$1BC269D7-0D1C-4ACB-9234-53B2F8784FA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"455f298c112ba20f52f406cc26c4adef06de280f","datavalue":{"value":{"time":"+2026-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6851646$9164F23D-B157-4408-9AAB-DFCD89FA71C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851646$FC990AE8-639E-4CBE-8D1C-1D526365ABAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5f3f343e10c63c9c72ead71edb08d6d8c8c7a0f","datavalue":{"value":"8165624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851646$7439D4F0-5064-428A-8C93-463C46F1ED90","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":"Q6851646$43F6E2BE-552F-4F3A-B424-A8BFDEF57E6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedded finite models beyond restricted quantifier collapse","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedded_finite_models_beyond_restricted_quantifier_collapse"}}}}}