{"entities":{"Q4989164":{"pageid":7018741,"ns":120,"title":"Item:Q4989164","lastrevid":54004679,"modified":"2026-01-26T01:52:08Z","type":"item","id":"Q4989164","labels":{"en":{"language":"en","value":"The complexity of model-checking tail-recursive higher-order fixpoint logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350464"}},"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":"Q4989164$8658DBE0-AC16-4511-A114-E3B46B0CFD4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"190b7425463df7095a067db04a7c9de07ee6d392","datavalue":{"value":{"text":"The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989164$72C13DA2-8E75-40CB-9513-E70578A75EED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaa5eef88dd06ea89a3db1d8c8d732b7e79f99b8","datavalue":{"value":"1478.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989164$8E86B941-4342-40EE-8517-7005F69D275A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3a2746b32e9dbff6178bbbcdb1e94986034cab3","datavalue":{"value":"10.3233/FI-2021-1996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989164$2B011E5D-1C6F-4C29-AB13-13CEA5496242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dffe16bbe34c7938fa56f95e8b4147c5880800","datavalue":{"value":{"entity-type":"item","numeric-id":1685774,"id":"Q1685774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$2D596B92-4422-469C-A8C8-7F26F4FEB871","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":"Q4989164$7B1D636A-26B6-425D-8EB2-24B40870C47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$4EDED373-A7D7-4D47-9BB6-A6794568C2CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$E805D09C-4A69-4BE2-A4A1-DAD9978FC2E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e938dc58709e4bde71ac28c077c8f71a87560f","datavalue":{"value":{"time":"+2021-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989164$31C63785-2366-4A2A-83A0-12FE424AC130","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989164$3150731E-1F57-4C8D-A2F0-E9BD2CCA7C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989164$C3388188-5CCB-4CB6-AFFF-FBB8771BBB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989164$5D620790-5549-4107-AA07-F655EAC634DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1aa7bcf2758b93b025b563a771152143369a696","datavalue":{"value":"7350464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989164$C8625F2A-FB1E-4E86-8942-03AC8D56C834","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":"Q4989164$1478C3BA-4E1D-4FBE-A773-3D490FFB5B98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44484491b105b4eba9052e7ca901f22afe79de5","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$88771BB3-9F50-499D-90B7-F4306FAE9C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$7B5C6B67-F10B-4940-A47B-E6A49F7C2F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$29FD49BE-2F8D-4C3D-B556-1DD799E7E432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913f295271d585bf15103c858643c419f483bd7d","datavalue":{"value":{"entity-type":"item","numeric-id":845832,"id":"Q845832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$E418C1C7-C198-4C1A-B6E3-3F9A1CCB72DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d30652f58409f96f54ee0b1ee5b53a280406418","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$6B112FEB-4520-4F25-870D-CF6E9FEB264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972ddac6537cfc04be5c83001958b51268538766","datavalue":{"value":{"entity-type":"item","numeric-id":1108048,"id":"Q1108048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$803FDCBB-507D-49A5-A828-437CCC97D1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed8c1c9b5cf85c3067f46e271b605235d5e997","datavalue":{"value":{"entity-type":"item","numeric-id":5339741,"id":"Q5339741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$2E817201-F8A8-4D2E-BB05-AD5D3452BFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219f2c95e003de66dc6439cb3c03fdbe5010ab47","datavalue":{"value":{"entity-type":"item","numeric-id":1960425,"id":"Q1960425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$C7A2B249-E914-4BD4-92F8-6D7667831994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e182973996d2dab8b070a4cb9b624a3e64c41569","datavalue":{"value":{"entity-type":"item","numeric-id":3190153,"id":"Q3190153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$BD4DE494-D1A1-4D77-B4D7-C77116A2A579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47d753588d3e15901e017390d393815c34f9ede","datavalue":{"value":{"entity-type":"item","numeric-id":5636862,"id":"Q5636862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$1C8F3FBF-ECD6-4D6C-86A4-6E50B5C56E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82664cd86e82669dfeb3060f9fe8f2d2b60780b8","datavalue":{"value":{"entity-type":"item","numeric-id":1685775,"id":"Q1685775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$11090F6A-77A4-494A-842D-B2EE17F50909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$71E8D2C2-C192-4FDB-A99B-03E8EAAC563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$F9E90916-D62A-49CD-803B-1AD2CE924DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$577AF4E2-6C69-4489-8480-A874F90201CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d37412feb3c9b7693518f86d19f47e0942eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2740986,"id":"Q2740986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$94E10C5A-834A-4C27-9144-4C8B9845CE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef4294e4bb133f34efdc0670d10135f6d90bb78","datavalue":{"value":{"entity-type":"item","numeric-id":3498457,"id":"Q3498457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989164$0FD9A1A4-3F4D-4084-96F6-687C5DD810AA","rank":"normal"}],"P1643":[{"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":"d0d1e92b7e3d0576e830888140281dd2372050a3","datavalue":{"value":{"amount":"+0.9562565088272096","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":"Q4989164$98DEA964-CAA9-4C23-B826-573649040107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57de321feaec295c00e192f0ebc1efdf4a267a22","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"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":"Q4989164$3B8A1D4B-6982-4885-AEEB-1128635D4ADA","rank":"normal"},{"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":"02c28bfd7f5864abb13e2114e6cd0f8ee78f1c48","datavalue":{"value":{"amount":"+0.8694915175437927","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":"Q4989164$2C07F42A-D898-40BD-8F07-2294E1BE5560","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":"b77db11ef7db83b5ed635a393ba5cfec38176736","datavalue":{"value":{"amount":"+0.8534855246543884","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":"Q4989164$32983018-E2DF-4431-BFEF-F5B0AA93CD4E","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":"c60139c0805bf81605f57ed73d2c418e6238e0ad","datavalue":{"value":{"amount":"+0.815118670463562","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":"Q4989164$B96F1A9D-E0E2-4F6C-A47E-C42E790043D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989164"}}}}}