{"entities":{"Q2863901":{"pageid":2874621,"ns":120,"title":"Item:Q2863901","lastrevid":51885104,"modified":"2026-01-20T11:39:51Z","type":"item","id":"Q2863901","labels":{"en":{"language":"en","value":"A coalgebraic representation of reduction by cone of influence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235764"}},"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":"Q2863901$AE549CB7-B795-4CD6-A578-1BA6D0A54AAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40b4a6140366658c91e61af8462a0957fc548a4b","datavalue":{"value":"1276.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863901$6FC0C5C8-D03F-410C-885F-EB5CAC0F6074","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"625f374f001fac480cf9de01b788b6c78f46b4af","datavalue":{"value":{"entity-type":"item","numeric-id":1617809,"id":"Q1617809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863901$8FF5A3DA-BB4B-42F8-A95F-6EA098BDDF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c5199aa691bc5da4927d90a484fa0c33ae27338","datavalue":{"value":{"entity-type":"item","numeric-id":1130231,"id":"Q1130231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863901$66450B21-E209-4439-BED0-2ED3C2D65ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b93d188838f0a19c9265187eef4c671ea0c962e","datavalue":{"value":{"entity-type":"item","numeric-id":703524,"id":"Q703524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863901$8DFBBDD3-D659-4CEF-BB31-0F0B37DCAC5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863901$760F98BA-F96D-4095-98A4-7382E7DA85E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a96fa81c6196cc4c00c142471db038e85492e5c3","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106004762?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863901$BF4B073D-FA32-493B-8103-893AA06EF934","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863901$653A7061-7668-4733-AE33-AD1EDFB66E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863901$3E53DD4A-7247-4A30-9306-7A68300FA577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863901$9EB56620-27EB-4783-858A-3EBDD6812F27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6feb51cccb3d361d15efe5a6847564090ed15e02","datavalue":{"value":"6235764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863901$ACF47F7E-B38D-401D-B4CE-06E2B1FDB593","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863901$89BAC201-6B82-4AD8-949D-7A251489317F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b8e40fbfdf3991ce43e2df325f1d95f328f06e","datavalue":{"value":"cone of influence reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863901$AD395A70-FF62-4BF8-84D4-24025D6CE2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863901$41542E8F-043E-4D40-90AC-1D59F8E8E5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863901$350BBF0F-C463-440D-BF4B-45F1B553B01D","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":"Q2863901$1D3F7239-4E06-4538-9354-6BB1A9E9F284","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f850cc0648f682c64fc09bba4b46ea15437df2c0","datavalue":{"value":{"text":"A coalgebraic representation of reduction by cone of influence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863901$09FCA23E-4B4E-4E6D-9D4F-C1835F1DDA3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627ba4387f742c5d23b1be138dcc40a489b1369c","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418f0fa45619612f94b809ea73b57327fef69657","datavalue":{"value":{"amount":"+0.6953952312469482","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":"Q2863901$EF143464-607E-409D-BBDC-14A796D2F17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3227006ca64fbafff61ebd42d18f42173e0eec53","datavalue":{"value":{"entity-type":"item","numeric-id":3000663,"id":"Q3000663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92558e2ba5452c65a7b5fe4425bb4b27c5cf5b8c","datavalue":{"value":{"amount":"+0.6942117214202881","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":"Q2863901$3D0541AE-5E76-4B55-8856-5D1F43CF9D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c609198a122ab177a39d2726cf5efc357a2d7e37","datavalue":{"value":{"amount":"+0.6861001253128052","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":"Q2863901$2BF450A4-7550-474B-8EE9-638A63EF6E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a464af9d0a75eab232264b9bc71a3cb17f6591","datavalue":{"value":{"entity-type":"item","numeric-id":2888486,"id":"Q2888486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59baa8dc14fdff8bb8be7c3543a36d6e2bba4e4f","datavalue":{"value":{"amount":"+0.6791009902954102","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":"Q2863901$16EEA0AB-B7F9-40FC-9971-BB411139DB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d363b663792e7f338fa28214e3a05cd3c77fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a5c575b7eac6ef88559cad507231cc16e37750","datavalue":{"value":{"amount":"+0.6751925349235535","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":"Q2863901$4FFDEC99-6F00-4529-9C61-185D0ADDAB61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863901"}}}}}