{"entities":{"Q3644748":{"pageid":5674654,"ns":120,"title":"Item:Q3644748","lastrevid":88569797,"modified":"2026-06-04T14:52:31Z","type":"item","id":"Q3644748","labels":{"en":{"language":"en","value":"EXPTIME Tableaux for the Coalgebraic \u03bc-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632007"}},"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":"Q3644748$0DD4B41D-4E11-4965-8079-DD12E4FE38FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9851ee0f6c830d55a645f380459bba8f4c7b61c6","datavalue":{"value":{"text":"EXPTIME Tableaux for the Coalgebraic \u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644748$28141811-CA85-436D-828B-D1FDA4D87279","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a312bade0dfdccc731b3e06f82828447665a11d","datavalue":{"value":"1257.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644748$811213EF-C0E9-4F61-9047-1D383C9855A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48dee172d125088d95f56cafca986965652a998d","datavalue":{"value":"10.1007/978-3-642-04027-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644748$6A3736EF-AAD0-43C2-AE14-23C0E7F3A3AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$5B793CB9-7157-4364-B1B0-0F8E1C43AE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$1799D58F-FD91-41F9-A96E-B576E505BE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$382826BC-128E-4748-9B6C-093D90202503","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$45A73BBD-37F3-47A4-B48B-2E9477618D18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644748$C77D99BA-F454-49DC-9DFC-13FEFEE5F89E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8fb23f1143bec164634a8a98b6838a6bfa6aee2","datavalue":{"value":"http://hdl.handle.net/1885/79038","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644748$FFAA527B-4969-4056-988E-F440B0E86524","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644748$80F2F85C-361C-40E5-9B2A-FE21C6A608FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644748$FB61FDB7-182B-4E95-AD0A-B252785F8DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644748$7EA1E16F-50CF-49BE-B879-1A34E6328ACC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4c4c9ae78a2e12f5d2e4d112f15615b42f9c838","datavalue":{"value":"5632007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644748$FE29AE1F-BDDD-4C1F-B5A7-ECEF0F212212","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":"Q3644748$E841F261-7101-4FB5-B247-06CA8E7CFF90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bacd6ffdb30a512d8ac3f686c616ccfb58bac824","datavalue":{"value":"W2244349542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644748$8C3B2579-639B-47D7-AA36-895916008817","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d607f75ee60e74d5b0d2a5c32f6dbeb202dc480","datavalue":{"value":{"entity-type":"item","numeric-id":4593954,"id":"Q4593954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$D11B31C7-A61E-4D64-ABC7-4B0C0E7B1E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$1414A33E-5F2C-46E8-94AC-8FB84559B653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe49c3b0be1875f4716ee6585aff4b21b9381048","datavalue":{"value":{"entity-type":"item","numeric-id":2873663,"id":"Q2873663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$249001B0-EBD7-4354-A0BF-DC082192FD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$D2419680-A3FF-4661-B005-ECDC56F8F437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add9119b5d5b905244f270410e2062630c92f205","datavalue":{"value":{"entity-type":"item","numeric-id":2542272,"id":"Q2542272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$6EB8B636-8BA5-41F2-B9AF-2CCCE592BFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ecd05b920043cd848328093971a170ec0a499","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$BF48EDC4-DEEF-4414-A326-208573711DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$ABC44A97-1098-4B41-B34C-5C300EADB296","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":"Q3644748$6510CFBC-DB8F-4434-A0D7-41C5FDC03404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$612C2EB1-C798-4F3C-8357-5DB1A00F296D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$7D0A8D5C-6475-432B-956A-B50A7002AFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$7A4C9ED7-4E25-42FB-841D-C1C41BBC538D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$D1B3493D-B5F4-4E41-8627-0A036A223099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad91b505d29d2341aaa30620698cbaf19696832","datavalue":{"value":{"entity-type":"item","numeric-id":5899086,"id":"Q5899086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$193A02AE-1782-4B3A-9B1B-F0C8A380C712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50717835f7f6961b0d32328866377521644caf81","datavalue":{"value":{"entity-type":"item","numeric-id":2946571,"id":"Q2946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$005B47F0-3D30-445C-BB4E-429089BE7BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fcbf5caaa06d9b2136bcb161b6786ad2aedc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495648,"id":"Q2495648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$E648DF13-28F1-49FB-9D6D-AADE9314DD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644748$4F4CEC93-C331-4D07-8C6D-A206A429008E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1462275c9ecb81a5764271180f980d60f928ea","datavalue":{"value":{"entity-type":"item","numeric-id":3224669,"id":"Q3224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4715625c7fea8ec8e344ffc2b6994b670f637d7","datavalue":{"value":{"amount":"+0.99643212556839","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":"Q3644748$311AD72A-F233-48E3-8A1A-9A71096A7574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e6bebaf77674477110e407efa15aadf6929a94","datavalue":{"value":{"entity-type":"item","numeric-id":1731842,"id":"Q1731842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10495356bea62c54ebd54b659f2b0dd8228160de","datavalue":{"value":{"amount":"+0.8081730008125305","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":"Q3644748$330F281C-B81B-4110-A65F-1F15BDB95CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c69ae2f62c940b46c1609776f341b089f3a5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3010366,"id":"Q3010366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529af387ec02a1808f6b74c640f9a91203bb4258","datavalue":{"value":{"amount":"+0.8019832968711853","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":"Q3644748$5EE244F6-75C8-4709-B606-E320C0BC386C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd8d09dee35351337ba4b36d9abb40279abf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b426ca7cee523dca1157a522db273867c1864d94","datavalue":{"value":{"amount":"+0.7932944297790527","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":"Q3644748$81CDFE55-C5AE-44C7-95B0-D3C27B3239B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EXPTIME Tableaux for the Coalgebraic \u03bc-Calculus","badges":[]}}}}}