{"entities":{"Q3190153":{"pageid":3200861,"ns":120,"title":"Item:Q3190153","lastrevid":80215058,"modified":"2026-05-06T15:41:12Z","type":"item","id":"Q3190153","labels":{"en":{"language":"en","value":"Capturing bisimulation-invariant complexity classes with higher-order modal fixpoint logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344695"}},"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":"Q3190153$4F95F673-0265-4646-86D0-2004834039B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65d994afb4449699ab6e5894905a0d586385fd3d","datavalue":{"value":{"text":"Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190153$21EF6DDE-97C3-452D-9DDD-6F1D02C5A4DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eec34cf263ba95cd48b6227af65ab321acc7eac","datavalue":{"value":"1417.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190153$95659F2E-9B46-4F0F-B5A7-F9EC5AA05A7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e9699af271940b59e0a928724fb7ba744785718","datavalue":{"value":"10.1007/978-3-662-44602-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190153$700C383E-4317-4430-842D-B680E26C4F57","rank":"normal"}],"P16":[{"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":"Q3190153$430C2CD7-2395-4540-8FE0-54FEB13194E6","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":"Q3190153$B86A752B-A9B5-4953-BEDE-C585B0D2548B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7bccb37f598e8e97b191e774d9cef485c5e3f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942771,"id":"Q2942771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190153$025ACB0F-4380-4FAA-ADD2-F02571EDBF2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190153$E2941566-93E5-4B53-8460-E68535C7033C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190153$D9B50477-03EA-47BA-B154-EEDEFB15F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190153$F2D650F6-5B39-4F35-8EA6-6A8B792B1170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190153$CEBA6B23-12A5-436F-A608-FDB4CFFCD888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e87e73cc32a580f78dc467c53a8ed97a324a796f","datavalue":{"value":"6344695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190153$807FCB57-593B-4875-9CFD-B1AFB0A049CB","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":"Q3190153$A81A3673-7CB8-49D8-AF06-3EEC73561E84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2f58b4277ab00e0b0be060c0c44ff35a243cf6a","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44602-7_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190153$884CBA80-27E6-4AE1-9DC2-5B465BCF7DB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a8ce60839bc49234b1582fb8b04325c7d11ea96","datavalue":{"value":"W2216181672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190153$DF62E3F7-01A7-404A-8E9A-7AA330A69A99","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":"2e90c538508ec6577efde9f9ba71d17ff7c73d76","datavalue":{"value":{"amount":"+0.8025400638580322","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":"Q3190153$61D2BE30-4F49-4150-820D-30FB619B4DC4","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":"e2f6b123080bbdb8d5aac08bbb25100f33dbacde","datavalue":{"value":{"amount":"+0.7890584468841553","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":"Q3190153$6AF0F5AB-6570-4099-BE4B-7A3FDE991BEA","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":"0de43f0ab1d1e205c940710aed6c1caad8ae04f2","datavalue":{"value":{"amount":"+0.7878479957580566","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":"Q3190153$49D13A63-699F-4199-A4AD-2931B2F752D3","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":"4ec6f978c5b0d72d3f12d96b8c7dee03e36b8ee8","datavalue":{"value":{"amount":"+0.7742059230804443","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":"Q3190153$71B4F9F9-4E4E-4248-880A-5A1D63B8E3AB","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":"448ecbf0edb14583c983da4c62a5dd3260f40421","datavalue":{"value":{"amount":"+0.7603306770324707","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":"Q3190153$B72C2B82-8844-4D4E-9745-919F02374E80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Capturing bisimulation-invariant complexity classes with higher-order modal fixpoint logic","badges":[]}}}}}