{"entities":{"Q1015394":{"pageid":1017242,"ns":120,"title":"Item:Q1015394","lastrevid":69822180,"modified":"2026-04-13T10:35:21Z","type":"item","id":"Q1015394","labels":{"en":{"language":"en","value":"A decomposition theorem for finite persistent transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552180"}},"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":"Q1015394$1389B54D-E97A-4786-82B0-7BE6952CA66C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81516286266abbc73274feb942ca9c7e2796b363","datavalue":{"value":{"text":"A decomposition theorem for finite persistent transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015394$5DE906C9-1E61-4D22-A52E-9EDFFA980483","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb8694246b7a48a5dd5909705f89efbb8c21c5d1","datavalue":{"value":"1166.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015394$0171ED1B-9806-4023-9291-C83708FB8FC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$76F35312-BD1E-47AF-A15F-5314392635EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"271829170669ce43b1b4f10856578a74e1f3e05f","datavalue":{"value":{"entity-type":"item","numeric-id":557785,"id":"Q557785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$AC70F768-C516-4F94-BFEE-FDAE0706A588","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$3E6FA0CC-3096-446D-92D0-5BB68C4DA1EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015394$66E1FD0D-2E6E-47FE-83A0-3221F34C00E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015394$11B62C3B-C5EA-478C-AA73-CAA461B75E0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70ca539f7f2f2788c64c43bcdbeba2572c85b67b","datavalue":{"value":"5552180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015394$462CA768-CBD1-4441-A3BB-E89C1C1E008F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbda5ec52c64d926a9d4c701a9e6bc1a905584d9","datavalue":{"value":"finite labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015394$798A7D2E-5F47-4E5E-B13A-2A0DE04DDF83","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":"Q1015394$C375A165-CB84-4EFB-B9FE-9C24E07EE211","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50c4e734ad02eac2e7557a84c55ddf0caa537df2","datavalue":{"value":"https://doi.org/10.1007/s00236-009-0095-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015394$4D4236A2-D980-494D-9460-B35CEA38EA20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42f97dfb5f316a8ea77ba4205f02348f3fc82146","datavalue":{"value":"W1977456141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015394$102835DE-3BE3-46C8-AD15-BD49629115E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45687baebf98106221d3f185ef4ff7cc4c87cba6","datavalue":{"value":{"entity-type":"item","numeric-id":3504339,"id":"Q3504339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$59197B41-E032-4070-8651-266D739F78B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f964f7d46b1d8c678c9c9e88feb6a00c7a058add","datavalue":{"value":{"entity-type":"item","numeric-id":3401931,"id":"Q3401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$522A7202-8E97-4C8E-B985-76F645EB51D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408a6c941c7e24a5a47ef5c25f6f713e72208d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5636912,"id":"Q5636912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$C8122226-08C3-49BD-B78C-4223D256D11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$89AF60A2-962F-48BE-9CD4-33CBECB62C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938921896867193d77356b3cb774a0dfc31105d6","datavalue":{"value":{"entity-type":"item","numeric-id":1041759,"id":"Q1041759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$01307010-9A4A-4624-91B4-F5117047C1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$670879A9-E6EE-44C4-9663-A5A06357BF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c1f85a76867c5d87d87571197e135ac41c1e645","datavalue":{"value":{"entity-type":"item","numeric-id":1144929,"id":"Q1144929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$FDA988EE-CAC5-4224-AE02-9B80C1F61195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68274163d90ce4711a68b0279a3a80b8279fb529","datavalue":{"value":{"entity-type":"item","numeric-id":4055201,"id":"Q4055201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$5D2AAFEE-C021-45DF-9696-2D4352A7F821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cf1d5d871fd5755b77acd01deaa51f98e63eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4164838,"id":"Q4164838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$1687D659-04F2-4169-A2C6-B7308A6C9867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d111f686b4278fdf8b58b1d04a8ed095951a5ec","datavalue":{"value":{"entity-type":"item","numeric-id":1158764,"id":"Q1158764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015394$08EC4FF9-9988-4361-A0CD-6C9964E8682D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4881e64c89bca3d25dbe616747873306e7d216d5","datavalue":{"value":"10.1007/S00236-009-0095-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015394$130410F2-9AD6-455A-B8EF-B87E1B14B576","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abec4f1450e04b778d9cbbf29319d81c1cbb8c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3510855,"id":"Q3510855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea914a88ea7db75b1094569fba75c46d2e20ff65","datavalue":{"value":{"amount":"+0.7991883158683777","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":"Q1015394$4CDE5162-AA1D-4C7B-A772-453781B50690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ae4755b9311b5a1bf59ffed18210f484f5ca1e","datavalue":{"value":{"entity-type":"item","numeric-id":673117,"id":"Q673117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c949660aa92488c865a5e33a31eb53726f1e21b6","datavalue":{"value":{"amount":"+0.7608548402786255","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":"Q1015394$929DAECE-3C06-4D76-A074-E3217FE4F6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ea482a64cc851f6f4d94b9c8dfbc3b4ec9fe98","datavalue":{"value":{"entity-type":"item","numeric-id":4281534,"id":"Q4281534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cff0e906d6ce4e1ad61ca45979ee5891fa72ea","datavalue":{"value":{"amount":"+0.7545771598815918","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":"Q1015394$A6D37184-4515-4CFD-8D5D-827C1D8E0341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a756088d84043791789fa590abaceaf6e8f705","datavalue":{"value":{"entity-type":"item","numeric-id":4539808,"id":"Q4539808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52653b684f6d0d3961737bce186a01b1d97cf245","datavalue":{"value":{"amount":"+0.7519423961639404","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":"Q1015394$479C2E04-B035-4148-B99F-F9CA0E0C5A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a35b6cfa83e85a72d84bcadf20ffe18bea263c","datavalue":{"value":{"entity-type":"item","numeric-id":1647774,"id":"Q1647774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9b2eda87a83a5697f2078488797d503b36201d","datavalue":{"value":{"amount":"+0.7270695567131042","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":"Q1015394$C86234DE-BBEC-46AF-8D67-D14080C469EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decomposition theorem for finite persistent transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decomposition_theorem_for_finite_persistent_transition_systems"}}}}}