{"entities":{"Q2803576":{"pageid":2814314,"ns":120,"title":"Item:Q2803576","lastrevid":52520069,"modified":"2026-01-22T21:00:42Z","type":"item","id":"Q2803576","labels":{"en":{"language":"en","value":"Synthesis of live and bounded persistent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575696"}},"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":"Q2803576$547D289F-48A9-4F5B-A515-D977A8362086","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7440f32a6a2d35cd5ab0ae96b6213448c8e39f28","datavalue":{"value":"1335.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803576$1219035C-FA3B-49BD-A542-0154DDA688A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0916ab8d0e60f22cef5d9804550178cb2077848","datavalue":{"value":"10.3233/FI-2015-1244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803576$380DC6B0-2E0A-4450-A8A4-63BE3E979545","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":"Q2803576$A58C172F-7959-4DC9-BD7E-D94F7AA0030C","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":"Q2803576$4C61F122-E034-451E-BD77-E23144360954","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803576$46C13742-DBA6-45F9-9989-32F16E15CBA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e456fdb4844415eea923a6e1b531b0c6eec91b1","datavalue":{"value":{"time":"+2016-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2803576$B966E32B-ACD6-41CF-984A-CAC2912F6F37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803576$9A8965D9-BBB2-45DA-A8F7-4E8CF9619184","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f93d8883667fb642cfeb1cdd4437a6c952716b9","datavalue":{"value":"6575696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803576$2D512CB6-806F-4335-B799-FE042C686A72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e685490b0ab9667aff5c540c7635b3770c1903","datavalue":{"value":"cyclic behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803576$55D37D97-3B5D-4A25-8D88-5CDBB4FCFF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7584267bb3dff5d15567681f6e57b71bd1aa2e1b","datavalue":{"value":"persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803576$48918531-8E06-459E-8779-49A09205A48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803576$47A14312-BBAF-48D5-8B6A-5EBE5C19ED6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803576$4A4DBEB0-8CB4-4BAA-BEA0-D507615F13AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8f5e2a5a7fd96312721715d176ddcc67632f4f","datavalue":{"value":"Parikh vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803576$15E4F798-2ADA-4628-BB62-E0468487BAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803576$ABFE5C03-975C-4B27-B0E6-963B064BE04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0496e14ea47d79670f9025f8ea9b3940dac2cc86","datavalue":{"value":"region theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803576$AF853C41-DE42-4DF7-A556-88ABC837D574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a86da9c93f52ce73952dd7698f08b8b44aad65","datavalue":{"value":"system synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803576$563490B1-80F2-4286-AF98-2021F58AB0C3","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":"Q2803576$05573414-6C20-477D-BFD1-3BE6772270AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51c267c1566a8853423af95fc2bcc9e0c37cb57a","datavalue":{"value":"https://doi.org/10.3233/fi-2015-1244","type":"string"},"datatype":"url"},"type":"statement","id":"Q2803576$B3A27D04-85E0-4E44-A47B-C37312E18A06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b83315333fba2379dc85946c857b3d25e9b7ebb","datavalue":{"value":"W1873178187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803576$6BB29E66-A298-4745-B52E-FE0018E850D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5671713a6421f7feee7c5062135a25c4ce98b3d6","datavalue":{"value":{"text":"Synthesis of live and bounded persistent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2803576$E86DAD2A-23DF-491F-AC49-0A997A351DC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2988084361e2cb35f3cd5499981552f7c21e101","datavalue":{"value":{"entity-type":"item","numeric-id":5166759,"id":"Q5166759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbcc5d352c574c6972e272448b3b6e7c9b5ce45","datavalue":{"value":{"amount":"+0.8959185481071472","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":"Q2803576$07B9C367-5844-439E-A4D1-700CCC00EF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"342a1069f2d0d6ba82c73ac4855275d8070d1d77","datavalue":{"value":{"entity-type":"item","numeric-id":5357699,"id":"Q5357699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cabdc6e07347bef8ea0e70f3804338215001c5","datavalue":{"value":{"amount":"+0.8803761601448059","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":"Q2803576$279E9C18-FA4F-4EC3-A613-6F3557FFB6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e467e73849f2586d50546b1ac9e5aed9600236e8","datavalue":{"value":{"entity-type":"item","numeric-id":5740394,"id":"Q5740394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbf0dd9c026e16c959473792d2e34754abc40ce","datavalue":{"value":{"amount":"+0.86343914270401","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":"Q2803576$473EA531-D4B2-438C-8962-42525DE9208E","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":"aa8a55426daf16094834d3cf79f708341b8d5ffd","datavalue":{"value":{"amount":"+0.8553785085678101","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":"Q2803576$76A6546C-BCEB-4AAA-A82B-043AFF498E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60afcc2df441aa237b17d664c2696888deff9fe","datavalue":{"value":{"entity-type":"item","numeric-id":1789066,"id":"Q1789066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ed90ddb9b8a9f926f1e2d59e537cc869843fbe","datavalue":{"value":{"amount":"+0.8546534776687622","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":"Q2803576$F74DCD2C-89E4-4FAF-BCB1-BD2AABC36915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2803576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2803576"}}}}}