{"entities":{"Q7317488":{"pageid":31318618,"ns":120,"title":"Item:Q7317488","lastrevid":105110227,"modified":"2026-09-17T09:34:09Z","type":"item","id":"Q7317488","labels":{"en":{"language":"en","value":"Complexity of model checking second-order hyperproperties on finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8243908"}},"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":"Q7317488$C0B8E058-937D-41AA-9B95-4AB14390E6D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44821a1294558236cd0775bfed0fcf93a1472689","datavalue":{"value":{"text":"Complexity of model checking second-order hyperproperties on finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7317488$BF77C060-EA2D-456E-B3FE-C796BA722B75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de1d5c9edb6464bd34029c00df5cdf9b258725f1","datavalue":{"value":"10.1007/978-3-032-22730-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317488$38EF0C12-56D3-4AF6-B383-4E4AFFE72E33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$BAB30B0F-34D7-4749-B948-B83F6777A932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38643207830f582cb70f47f9da2a53233db39d6c","datavalue":{"value":{"entity-type":"item","numeric-id":2331080,"id":"Q2331080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$EAABA41D-7324-4D7B-8D98-93F8F8E5112B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06938c81375d09fc66fd2f0f6c9b9c27958933d6","datavalue":{"value":{"entity-type":"item","numeric-id":7317487,"id":"Q7317487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$D09B6D55-D722-40C4-8D9D-7F8E5EFEBF78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"679b4e0b22b8f0492481521a42d04ad8739e3203","datavalue":{"value":{"time":"+2026-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7317488$941D5BC0-E4FE-425C-AA8E-95FC19E54A5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317488$79BEAEA4-6AC3-4337-9B2C-F19095EB4D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317488$6531EDBA-8F0C-4F5A-97D0-EA05A34671A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dc296d9899261c4086da1278036d5df5198fb3f","datavalue":{"value":"8243908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317488$FE53F327-2A33-4B55-B183-78FFDA3AC5A2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$9C601E93-72BB-450E-AA56-F9196C85AA95","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":"Q7317488$DF54E935-13D0-4928-B74A-217B4073C197","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d2c73a35c5eb7c6d2c5e9a70ffc488c6ef7353","datavalue":{"value":{"entity-type":"item","numeric-id":6967327,"id":"Q6967327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$2FD7E4C2-0194-4A29-9A3A-FF4BC01EB345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6571451eb34c2ec047797471dff827c46fd6e0","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$A86307B4-C92C-4705-AB19-7F1C07BE718B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3215fe9ac9098da832062641028e1eb7e94dc9d","datavalue":{"value":{"entity-type":"item","numeric-id":6535349,"id":"Q6535349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$313777BF-A0B4-4586-B1A7-0F9654227B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c34d0fd3dc296bb7050a1892906d2d31cff1b7","datavalue":{"value":{"entity-type":"item","numeric-id":6535541,"id":"Q6535541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$475F8404-2773-4AED-B7AB-C56D0D53BEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f73a5873834fb7f7b7c1811d308b965f6ae780c","datavalue":{"value":{"entity-type":"item","numeric-id":7263572,"id":"Q7263572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$53447424-375E-403A-A334-87DE2D16807A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca2fcee1fd6919a0db354b6be3a6754db0afc06","datavalue":{"value":{"entity-type":"item","numeric-id":2949438,"id":"Q2949438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$C0628CF4-A8F8-49E1-9DD2-811D69F64B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19620c250c7c146c091f49035e11565f2887a27","datavalue":{"value":{"entity-type":"item","numeric-id":6651942,"id":"Q6651942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$937523E7-2301-4220-902D-9E793AEC822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839806caf5a65a073d1c277b709b43ecd8f87f4e","datavalue":{"value":{"entity-type":"item","numeric-id":6587135,"id":"Q6587135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$E2775F9E-FEE5-4B4E-90C4-1AB92AEC6319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$7C725B03-4A11-4698-9A38-D6A28A7C7E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$95EB1E9A-7732-44DD-9508-8A935305170E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835681981b9db38918475e53e3378c2d0d477b8f","datavalue":{"value":{"entity-type":"item","numeric-id":7034355,"id":"Q7034355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$582A6458-E234-48CE-9D4B-1B421CB2696A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c294dbe96f2ceb0246e9c42bdec15990157fa292","datavalue":{"value":{"entity-type":"item","numeric-id":7261416,"id":"Q7261416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$E9F9A335-83C0-47FB-AA02-C5C14B710BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$061F832A-67C0-4113-B83E-4658DC14790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$35E03A4B-DD82-4615-9B09-05A3C2D8B7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edbe854d3e5f5f690729c125c1627884cc1d20b","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$D7144252-0DE9-4371-8A70-B4A258591936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4730879e3c2022e88cf7441063d7f57a3f0ceb53","datavalue":{"value":{"entity-type":"item","numeric-id":6647693,"id":"Q6647693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$CDE93B00-6E99-4A56-A3CE-68A5F1BEE02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8a0998fe68388206a99ba35ca4a703485afc73","datavalue":{"value":{"entity-type":"item","numeric-id":6630200,"id":"Q6630200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$164CB6CA-A2B5-4DF9-9308-CDFFD526E218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99beac329e11d5c5d4b30ea1e65a39423ca87393","datavalue":{"value":{"entity-type":"item","numeric-id":5005106,"id":"Q5005106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$A43FDDFE-70E0-41CD-A509-9A10EB56A509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f75d0da13a8d9f7bdf682db08862bc840fe1aaf","datavalue":{"value":{"entity-type":"item","numeric-id":3090846,"id":"Q3090846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$963142C0-3BE3-44B3-A826-4E26FF5EB2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36ac6979365566d2d1f66a4b1d6a274cf660dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$5AC36251-61FC-4DF2-8FBE-77A0A8FDE060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a2193ae14199da925d7af311a9e576826127c4","datavalue":{"value":{"entity-type":"item","numeric-id":1383157,"id":"Q1383157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$0435683B-42E0-4F5C-9712-E25E941DE227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317488$43604942-F2AA-4019-9CC6-11FD4FB0BEEF","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":"Q7317488$0EA07C49-B21F-4CC5-AACB-D2F44581A7A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of model checking second-order hyperproperties on finite structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_model_checking_second-order_hyperproperties_on_finite_structures"}}}}}