{"entities":{"Q2340253":{"pageid":2350996,"ns":120,"title":"Item:Q2340253","lastrevid":52243157,"modified":"2026-01-21T05:57:28Z","type":"item","id":"Q2340253","labels":{"en":{"language":"en","value":"State space axioms for T-systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6425531"}},"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":"Q2340253$91544BAD-3C17-4B06-B5C6-EBF8A2A41A83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5227990a2ad6f7d4621d8cca3225d5ffdf986dce","datavalue":{"value":{"text":"State space axioms for T-systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2340253$67D07272-2BA4-4E3A-870C-47DFB11774B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3bbefe442dbf8c461aaf26c5cbe07e1fc8619eb","datavalue":{"value":"1317.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340253$49A313CE-C7B3-4935-9F74-AD5DACC35F81","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":"Q2340253$A7E2D89D-A068-4C9B-B7F4-0948F95D2B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$1E10FE7A-5EA1-4A35-97A7-A18C414EFEB6","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":"Q2340253$A351DD0D-79F8-4E23-B1F1-3D6E237C4E08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e35db66a344990b78fb6f9609c8b7c15ceb974b","datavalue":{"value":{"time":"+2015-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2340253$624AD83D-B0FC-4A48-8D8C-EAAC76AC7061","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10417aeb12b33bdd5d75dd982341102f51e4c6e5","datavalue":{"value":"The authors define T-systems as Petri nets without forward or backward branching places. In contrast to marked graphs, places without input- or output-transitions are allowed.   The paper characterises (finite or infinite) labelled transition systems which are isomorphic to state spaces of T-systems and provides synthesis algorithms for T-systems from labelled transition systems satisfying the characterising properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340253$38E249BD-7CD1-4377-8772-A0500347C277","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"278cb718fa512f840b9c5522dfe38ff5e946abf8","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$BFEC3ACE-407D-413B-83ED-5AB229551018","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340253$3E98A0A0-6F32-4B64-9552-4841190E7C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340253$3DED3F83-610F-4FE4-BA06-01589A2343C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340253$9A8718C9-E792-446D-8A7A-1ADCDD880905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340253$F57F3FAF-E170-442F-9D7E-367EF51AE8AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6df5bfad7384ec43a678881a3b5ee570df5e867","datavalue":{"value":"6425531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340253$0E889519-C407-4F5E-B771-FEF6696E7702","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bac941aba7aa8247d4c4a3ab2d1d30d60b40c49","datavalue":{"value":"T-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340253$E562A59C-21B0-4FF1-86A9-4806402AC75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340253$A95FBA78-652F-4358-8C21-BFD9EC69A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90d2b0cedad86395d09c6c52108833d65b326755","datavalue":{"value":"marked graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340253$D71311AD-CFD9-48A3-9B2B-6CABAB22B49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340253$AD46808B-812B-4FDC-88ED-843F03739E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340253$678C75F3-B8A4-4C25-ACA4-81BF343DE313","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":"Q2340253$C80C4F93-7C1B-4F05-A22D-803EF929D70D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05d4caed64b3fdafb0ee9948a0bba937282d83cd","datavalue":{"value":"https://doi.org/10.1007/s00236-015-0219-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2340253$5635B034-1206-4EAB-ADE0-027856F0A144","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94bddae4072aedce8aeca381da77a4438ad3170b","datavalue":{"value":"W2018016296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340253$CB6D07EB-9393-4038-9844-67241FC537DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1034fab86893de89a152f5b0894535ef8dc037c4","datavalue":{"value":{"entity-type":"item","numeric-id":4247291,"id":"Q4247291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$94AD68EB-9640-49EA-9B04-EFAA022B8917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8305be2fb6a05d09a3984bc3511c14c1e734c30","datavalue":{"value":{"entity-type":"item","numeric-id":5404909,"id":"Q5404909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$2EB11009-23A7-4A8C-A2FD-1B0A9C203D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3519290915cfe2db41a155fa110bdc27c30e6f","datavalue":{"value":{"entity-type":"item","numeric-id":5166759,"id":"Q5166759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$34E7010F-E692-4B20-B43C-756EB5D43688","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":"Q2340253$E1D9134A-5AA5-423A-9413-297E7CE04397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aba6a9c1e60cd1f9f1767cc72a1ddfd6ac66d5","datavalue":{"value":{"entity-type":"item","numeric-id":1216050,"id":"Q1216050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$15325622-EA7D-4154-B6EF-F5CC6812C5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438f865e79e7c057327ed465f59a2a7623186357","datavalue":{"value":{"entity-type":"item","numeric-id":2554953,"id":"Q2554953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$80D9461E-B07A-4E6F-A69F-F4D053618639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$DB00D61A-2A92-490E-AB7C-A4447A05FBC6","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":"Q2340253$1984DC7C-A8FD-461C-BB8B-8AD46E9EBC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d436a7d797894ee202a96424ed04b1a820523f","datavalue":{"value":{"entity-type":"item","numeric-id":5712291,"id":"Q5712291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$E081C87A-1CEB-4F82-A3B9-08587362D2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0eb2c3489880d3a829166a8174162c7add8f824","datavalue":{"value":{"entity-type":"item","numeric-id":5713512,"id":"Q5713512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340253$CB4542CC-F845-4CD7-8322-51B6AC00EFE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"114a18144ce824ae1bd568a7a5f7f9a26f7870d6","datavalue":{"value":"10.1007/S00236-015-0219-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340253$363D23CB-2E1F-4AF6-A74A-471B58FB2CDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c50905c45dc96d24a01ca9edac19b7a08afb27","datavalue":{"value":{"entity-type":"item","numeric-id":515678,"id":"Q515678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc970d3f83c69e1aa90389f5406dea85d8c67cf","datavalue":{"value":{"amount":"+0.8094670176506042","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":"Q2340253$8A21C77F-D377-4905-B6AE-4CC257BA9B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3319efeea0d298d1265a470ae64b99639aa4572c","datavalue":{"value":{"entity-type":"item","numeric-id":1623288,"id":"Q1623288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08f18764570b55022a793f8a88cee2c916d3467","datavalue":{"value":{"amount":"+0.7642257809638977","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":"Q2340253$F06336BF-40A9-41C3-AE2F-B0707B49E44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70a1f1fef40c28a57edf671e2c5b74ee0e47e9d","datavalue":{"value":{"entity-type":"item","numeric-id":2257983,"id":"Q2257983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31592392752a9caa568f25d700a400c9f5e758c4","datavalue":{"value":{"amount":"+0.7618899345397949","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":"Q2340253$14A496CF-5221-4E78-BFB9-99308A745EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d35276f626b95d2a89572d60562036c2e8f0156","datavalue":{"value":{"entity-type":"item","numeric-id":5216152,"id":"Q5216152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ae98659493f5774071e432ca3cca0c51a5b8c5","datavalue":{"value":{"amount":"+0.7570937871932983","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":"Q2340253$2BBA3735-831F-4212-8FB8-4CB8E6E0FC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"886f35e3f7dfb585e56a17861d104678268de095","datavalue":{"value":{"entity-type":"item","numeric-id":5404909,"id":"Q5404909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2811ea226392b6ccad9bdfa0e7be9048dce16c8","datavalue":{"value":{"amount":"+0.7550131678581238","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":"Q2340253$3D72A1B9-8598-4BA9-B9FF-FFE17C78AEC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2340253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2340253"}}}}}