{"entities":{"Q4636297":{"pageid":6665878,"ns":120,"title":"Item:Q4636297","lastrevid":97906190,"modified":"2026-06-05T15:46:17Z","type":"item","id":"Q4636297","labels":{"en":{"language":"en","value":"Subsumption checking in conjunctive coalgebraic fixpoint logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863863"}},"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":"Q4636297$E5956BDF-978E-4C78-AB73-3CC889FB6BF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7745ef4a5bb1ba05d1f0e0ff2c9ebdd21551921","datavalue":{"value":"1385.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636297$79BEEFA0-256C-4057-93FA-E312A844E917","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75910c3998f3e6d7a5be008fae7c3261563e6e33","datavalue":{"value":{"entity-type":"item","numeric-id":631074,"id":"Q631074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636297$6A20B5A8-E398-4B5F-8241-125D04F9794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636297$B34FFE4C-A11E-4F13-A41E-B39AFBE18A80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636297$A7193176-F394-4228-939F-88F303F7DD40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20a5510b945eac03579d1e974d1a47b4619dba6e","datavalue":{"value":"https://arxiv.org/abs/1401.6359","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636297$6AD92628-776A-41DA-BFF8-B545D6DD5053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636297$E155F652-6D70-4873-8FC9-9B30BF1FCD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636297$6D44AAFA-4570-4627-A6AD-46161C57DD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636297$A9AF172E-79F8-4E7A-9BDA-F9A0899B71A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad7936c72545bfceb550ec53ae3908d56ff60615","datavalue":{"value":"6863863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636297$A372E8D6-57BD-4449-BC74-0BBAF3AC6D9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977dfad80e2c7eac1e9d329c1a7384f933572f7c","datavalue":{"value":"materializers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636297$BBD1E224-93CF-4F5E-8F2E-530F27E7491C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0946895e8770f26c6a1bfde96ad9fbb35ce8d9e8","datavalue":{"value":"convexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636297$F89DE7BE-AC4B-44F1-87EE-94A73BE42194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa3c3669348e43de0afc7b352a9739c04b543f7d","datavalue":{"value":"tractable reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636297$EAD25267-33CC-40B3-882A-4261C4EFAF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636297$519B4E90-EF87-402D-9257-B5D3D8FF5A57","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":"Q4636297$CF87D15B-A600-4CEB-8AF2-C849F0EFDF7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab8f377377348b5893bd6b7b400b45890205e14","datavalue":{"value":{"entity-type":"item","numeric-id":3644748,"id":"Q3644748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb360bc57ea527820cc32fd036aa7f5aaec72a0","datavalue":{"value":{"amount":"+0.7273481488227844","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":"Q4636297$6D338B36-66DF-4CDA-8CA1-019A808F2499","rank":"normal"},{"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":"fb20d60315599b0c4383f83d3145a36fac8f1a46","datavalue":{"value":{"amount":"+0.727339506149292","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":"Q4636297$8E9D943B-8A1B-4F5C-9685-9A44731D5934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed96895cd561f545884e58200ba473467c1b057","datavalue":{"value":{"entity-type":"item","numeric-id":5034233,"id":"Q5034233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a708fbdecee005ff037373891bfbec892d0d47","datavalue":{"value":{"amount":"+0.711682140827179","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":"Q4636297$B9A31029-F987-453C-BE28-33B3EDE05810","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subsumption checking in conjunctive coalgebraic fixpoint logics","badges":[]}}}}}