{"entities":{"Q5310692":{"pageid":7340266,"ns":120,"title":"Item:Q5310692","lastrevid":50182736,"modified":"2026-01-13T10:29:23Z","type":"item","id":"Q5310692","labels":{"en":{"language":"en","value":"The Complexity of Model Checking Higher-Order Fixpoint Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200162"}},"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":"Q5310692$A8D51134-DAF0-4AC8-8CCF-38521FF405C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19a4ff54cb7db5928f180ee073dfb62075f76156","datavalue":{"value":{"text":"The Complexity of Model Checking Higher-Order Fixpoint Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310692$35823129-5AE4-4390-80EC-16C6F7A607EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5563ca11abbf6f63270582acc9f67490d8a295b","datavalue":{"value":"1128.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310692$D989C082-01B9-4BF9-B938-794B359FF94E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5784c759a1dd3705edc66b9fd94369c09cfaaec","datavalue":{"value":"10.2168/LMCS-3(2:7)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310692$3B4D7419-0536-400D-8C93-D435D91F764A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d663d8d042ad059afec50267b30fb7ea3a7627e","datavalue":{"value":{"entity-type":"item","numeric-id":3083625,"id":"Q3083625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310692$F49E044C-77B9-4D55-804D-C50C739B6A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310692$73E105CD-47AE-4950-82E5-88822248CED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64196bdc65a09b3d74d11c2e65787bb34c001866","datavalue":{"value":{"entity-type":"item","numeric-id":845831,"id":"Q845831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310692$DDE4683D-0345-4CEF-A88C-4FC1B575083E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310692$2A1F9D39-D044-4D77-8C6E-5D46A0CA3469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-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":"Q5310692$4E0FB0BC-E3D6-4D93-96D0-3C1793863D3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310692$D44E1FF2-9ABD-4146-AF3C-A3AE7AD89795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310692$67219F09-635B-4B36-975F-FAD3BD03BF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310692$71F2A650-B3C4-41CE-9267-DFC1604FCC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310692$F966D824-76C3-47D8-8261-6E373E26191A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a988cd987f166d6d57edb85da87958cb62217b8","datavalue":{"value":"5200162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310692$571B0C8B-4B53-4424-9357-CF0F3D6EA727","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":"Q5310692$0925867D-C399-4602-82F7-3A07269FF2C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95d89062711ee600ca5496b3368ceddbb7727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5492896,"id":"Q5492896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d30f8a7629c2ec40f6a6f823701ce61579ce4f","datavalue":{"value":{"amount":"+0.9097517728805542","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":"Q5310692$E778D611-C6A2-4FFE-9813-F52F2B01BFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1de75d9014d229e5188d9082aac7c1be5c10f1","datavalue":{"value":{"entity-type":"item","numeric-id":4989164,"id":"Q4989164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e1e7df3ec9f11e406c4fb6557357c5702d2d46","datavalue":{"value":{"amount":"+0.9083946347236632","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":"Q5310692$CDEAEA11-8FF3-4CD3-B053-B49A74CCFFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020d3dfe2e48e5b8fada1fb1df5a36b5ac3e5fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1685775,"id":"Q1685775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ca39cbab8d88083eac0fdc94fb7f6fe18f4c4c","datavalue":{"value":{"amount":"+0.8996952176094055","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":"Q5310692$79FC0F25-3AB4-470B-ABD6-E21475F20718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91407b64dfdc43aa08e4d4d1da867dd2b07757e0","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5050b6592ac3258ce81f93a20d50d4bf9fa03b","datavalue":{"value":{"amount":"+0.8478676676750183","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":"Q5310692$3F1C791E-C68C-4815-B642-489C3DE16765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a1ad90f45d7cc1d448bede72a7c30e1cf83d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498457,"id":"Q3498457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3dddd1f237a9e5569d1fd7d5116ccb8d50f921","datavalue":{"value":{"amount":"+0.8261151313781738","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":"Q5310692$93B93B41-7B32-494A-9FD1-11258DE763B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310692"}}}}}