{"entities":{"Q1763334":{"pageid":1774076,"ns":120,"title":"Item:Q1763334","lastrevid":72909438,"modified":"2026-04-14T08:42:14Z","type":"item","id":"Q1763334","labels":{"en":{"language":"en","value":"Injective envelope and parallel decomposition of a transition system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136218"}},"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":"Q1763334$8F6C0ECC-E0D8-42BA-882E-861069B859BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"192b8712b069532c5700ee80a6f7122729b6aa74","datavalue":{"value":{"text":"Injective envelope and parallel decomposition of a transition system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763334$67D50489-95E7-4CD2-833D-6CE3958B2C5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db7b04c802f428a4af74c571aa2d20ad115738ec","datavalue":{"value":"1090.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763334$8BD54C03-D76D-4667-A34E-7D0A85A55213","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"150f2b47f5bd8a9eeb5b9df84459aa08945650b0","datavalue":{"value":{"entity-type":"item","numeric-id":1212065,"id":"Q1212065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763334$CDD73FB1-59C7-4222-924B-9DFF8A16C114","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763334$99D50E4A-3519-4949-9907-52A81B570B11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1763334$840C5F5E-9B08-44D9-96F0-776F4E13CBC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763334$E2557FD5-5903-4328-99E7-FC070EDC8C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763334$2C2BCF3C-6842-4316-BEDF-2747D98E8300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763334$5B82F27A-6D5D-489C-AD60-B06001A530E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83719f0059fb87b510f7649fc3934f8134e28883","datavalue":{"value":"2136218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763334$5BD434AD-31F6-45A1-81C3-55C134CFAC25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d053bf7a9fa6371f946f2d4f0f04003deacdfc2","datavalue":{"value":"Transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763334$1EBA85A7-61CD-448B-BB13-49B1E5CFA986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922fe90e2dc557cede08c8978042fdc00a96d40b","datavalue":{"value":"Retractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763334$3E03D7A4-BD99-4C7B-8735-62B51C827943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf4e9849379a24de70268a3fba9494ad689450e","datavalue":{"value":"Injective envelope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763334$15C58B24-D311-4ACC-8D95-5B7382EA7AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07a6cfaa932b2493b3168c5ee2e2624a12f78ac","datavalue":{"value":"Decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763334$DCD0AF9A-41A9-427C-9EA1-4E6C3D903977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90f5ae40562d5009c118fb4ce43e0fb973edec9","datavalue":{"value":"Representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763334$AEF18793-8F6A-472C-8F38-DB2D4B8C368D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"912c943c0bd1088ad8c0441371c70d9c57fcdbc9","datavalue":{"value":"Q114190811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763334$C267BAD8-38AA-41B6-B886-F20CA5234DDA","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":"Q1763334$EF0CB6C9-3664-498E-AF2D-049B17BD07D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7fc58827229c1d693eff8b88af492acdc1e8d55","datavalue":{"value":"https://doi.org/10.1016/j.disc.2004.08.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763334$2F90CE0A-48AE-4201-BDE4-61CF560CDC4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44dce0d43f12f23900521dd89c6e13812af213db","datavalue":{"value":"W2037252016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763334$2439A3FC-91C2-437C-B955-995DC31945F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763334$FB21D2D3-AA63-47AA-8288-0C1219EA8819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763334$10D5C0FD-5798-4FB2-9F9E-16DAFDE05A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403c35fb4e37ffe8223dbe833023937c046a3ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1151913,"id":"Q1151913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763334$DA5C1BC8-5D21-4648-B218-BF98768E7D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763334$FCA24C41-5C7D-4B11-9DC4-D7A71911B9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff39950e6bfd751b7e8599d8782580965399047","datavalue":{"value":{"entity-type":"item","numeric-id":3951547,"id":"Q3951547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763334$D8C17EC1-0F16-49EE-AD77-78AB9DEAFE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973ad636dad488b151b68fa6f9805c29523a8bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1331969,"id":"Q1331969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763334$C9B60EB2-ED7B-4FB3-AFE9-07F50509345F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1816f35429da0f2c505fbce2fee54d509712ca4","datavalue":{"value":{"entity-type":"item","numeric-id":3779754,"id":"Q3779754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763334$7B30BDD9-6538-4A1F-8421-1C6CEDD864F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f689647b76df5393e6349bd5459bbeb8f72e2cc","datavalue":{"value":"10.1016/J.DISC.2004.08.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763334$C9E361DA-148C-4294-984A-7A05B3E2C0F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ad71fd5e54e9d6b651b93456bc006f1eb3fe80","datavalue":{"value":{"entity-type":"item","numeric-id":1598793,"id":"Q1598793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c63bd8c4882c67774979731203ebd00d997beb4","datavalue":{"value":{"amount":"+0.8133325576782227","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":"Q1763334$6CB948AB-6459-4D73-BF3B-01B281AD72B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65260387e5edcc741080ce563657917d940fdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1584442,"id":"Q1584442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094d92e30ae4730027be0d421316e9cfddc07324","datavalue":{"value":{"amount":"+0.7429113388061523","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":"Q1763334$3B6DBA98-10FA-4CB9-BBD5-A06666513CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea237eb398e770e95965918bb1fb12f384417a9","datavalue":{"value":{"entity-type":"item","numeric-id":3298124,"id":"Q3298124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe455ee5cdfec850b91a65d222f0869eaa9ad47","datavalue":{"value":{"amount":"+0.7252144813537598","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":"Q1763334$5EAEA159-936D-43BF-8C2D-86436FD342C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75bf1ea431c943996fbc2b3ff3dc39514f9d045e","datavalue":{"value":{"entity-type":"item","numeric-id":4373555,"id":"Q4373555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5c27416aefac3187a3bcb803a28970e8e3e7e4","datavalue":{"value":{"amount":"+0.6821889281272888","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":"Q1763334$D5B6AE77-AC56-4716-BE6F-CAFF2D7047EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96b6fee382d5a58099a4c8d0a3a54c79195649c","datavalue":{"value":{"entity-type":"item","numeric-id":1822237,"id":"Q1822237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5c27416aefac3187a3bcb803a28970e8e3e7e4","datavalue":{"value":{"amount":"+0.6821889281272888","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":"Q1763334$5A865C44-D467-48EC-9899-DF3433D12D78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Injective envelope and parallel decomposition of a transition system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Injective_envelope_and_parallel_decomposition_of_a_transition_system"}}}}}