{"entities":{"Q5166759":{"pageid":7196331,"ns":120,"title":"Item:Q5166759","lastrevid":41560805,"modified":"2025-05-05T21:30:53Z","type":"item","id":"Q5166759","labels":{"en":{"language":"en","value":"Synthesis of Persistent Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314342"}},"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":"Q5166759$7D711533-461B-4368-8B2C-DFAAA9DED71B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"643590e6e0659d4975925761b860fe0844e43c6d","datavalue":{"value":{"text":"Synthesis of Persistent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166759$E893A0EE-B7E3-4C7B-9BB5-8FB694BB0DCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fc1ca13710e0778202e0a06dc8eb5680cb8110b","datavalue":{"value":"1334.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166759$3E14AAF3-B2A1-4789-8254-F4D967DA89F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"546e07c5a1028a6f56347667ab1789551b621612","datavalue":{"value":"10.1007/978-3-319-07734-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166759$E98892DA-5571-4B61-8349-DF0EF2ADDC42","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":"Q5166759$73DE72EC-1710-4D40-B753-31B3C155B0DD","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":"Q5166759$D711D661-7043-473B-9740-DD0C3B67EAE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166759$1C933C31-4223-4D27-A722-5DE2247DE0BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-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":"Q5166759$B001ABB2-BDF3-4B7D-A83F-F6763B684FCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166759$EDCCBBC1-EFF4-478C-B223-E6ECC3657121","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe8ae7944065f5bd250421a1c8524f636defc225","datavalue":{"value":"6314342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166759$9077BD8F-28BC-430F-942C-8B3FC8AC9AD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e685490b0ab9667aff5c540c7635b3770c1903","datavalue":{"value":"cyclic behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166759$14779FFD-42D4-4A00-B82C-62DD34FCFD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9e058dbd663cc456437c0f8d93ee3e608ba0eb","datavalue":{"value":"persistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166759$1EADED61-703C-4ACD-92E0-867316E773A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166759$AFAA88F8-53CD-4ED5-A97F-FAA4641E6C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8f5e2a5a7fd96312721715d176ddcc67632f4f","datavalue":{"value":"Parikh vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166759$A9641E72-26C9-4E25-9803-DD8E5DE9D86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166759$46C82BD8-4738-4B9C-99F6-CAD6C8324B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0496e14ea47d79670f9025f8ea9b3940dac2cc86","datavalue":{"value":"region theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166759$A2A303D2-FCB2-4A92-B9F3-D5BDEA6FBA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a86da9c93f52ce73952dd7698f08b8b44aad65","datavalue":{"value":"system synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166759$6C4DF232-10FC-4621-87F4-86A714AAD98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dac2f3ab44ff6487a1356d7bf91eeb191f1ca96","datavalue":{"value":"reengineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166759$63B45230-83CD-419F-AEE8-9CA39B957835","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":"Q5166759$33190A0B-C1D3-40CA-A18D-E51CD6F1D9C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d6d30ca6ade0b1f76f3e1ad9ffbd157eea1f703","datavalue":{"value":"https://doi.org/10.1007/978-3-319-07734-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166759$F7B488DD-2F7A-4A16-8771-F70CF3A6385B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed1f472c783071d2427a0e3ec77d9e288060945b","datavalue":{"value":"W1577372958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166759$98436F67-1CA6-4F79-949C-6EAC6F38F92B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45674943e543059b7bac638c13624e47420b549","datavalue":{"value":{"entity-type":"item","numeric-id":897109,"id":"Q897109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166759$E39E3E18-1E44-456F-89A3-D9422CB30C8E","rank":"normal"},{"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":"Q5166759$B74D647B-F162-4654-9FEB-65801317A494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744d6ef3537beca7abf0af02c552eacd47a9431e","datavalue":{"value":{"entity-type":"item","numeric-id":1015394,"id":"Q1015394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166759$BC3E0956-4AA6-40D4-8648-F9FCFE8CAB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92521dc0eaa8b1a257ea0a156853ad3d1c47c2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3457969,"id":"Q3457969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166759$FE1B3526-8C80-41A0-874C-FDFAFE418B9E","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":"Q5166759$B5B518EF-6762-4DB9-A9C1-5D69B1A09441","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":"Q5166759$6C365D43-E6F3-4316-A4CB-79E45954A5D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166759$900AB570-87B3-46C6-BB95-BA61C70A4206","rank":"normal"}],"P1643":[{"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":"dab8ccc9216a8b1f86c16a42e69558c2dadcccf8","datavalue":{"value":{"amount":"+0.9686405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$BCA190BD-DD61-4B83-908B-DE9C106B3682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c984222fe3eb4191cf6431fa17b2ce73cbb527e","datavalue":{"value":{"entity-type":"item","numeric-id":2803576,"id":"Q2803576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c84be1afe1b13f8a3566810dc43c16db2e8489","datavalue":{"value":{"amount":"+0.920343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$60FFA6FB-3B60-46A1-A8E4-374D1F6E7995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4897b2b354d855c0b2bb7425333db338a826d027","datavalue":{"value":{"entity-type":"item","numeric-id":3739499,"id":"Q3739499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac22ced473f25e4dfce3e05b8376932575dd1ac3","datavalue":{"value":{"amount":"+0.87118924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$151B8827-D014-41A6-855D-388BE29DBAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78496980735ccff14bd261c79259d31afc811b53","datavalue":{"value":{"entity-type":"item","numeric-id":2249662,"id":"Q2249662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e90861b5604bc739203a7f2d22f115cd3a6d195","datavalue":{"value":{"amount":"+0.8597398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$97C762E4-5930-4C04-A359-64B9995B7384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f8fefdb63394d42595a52d52a858b79b7a1b25","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc49064ab10e6d2ccef95b5bd9c14105378efb6","datavalue":{"value":{"amount":"+0.8451097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$CB40ABEF-B2E3-4D26-A05E-88A6F8138E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0f1fbc786b6caacbd164f3782f39181653cca1","datavalue":{"value":{"entity-type":"item","numeric-id":4649297,"id":"Q4649297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1970e5cc4dd07395977440c1d9a79badb82f8059","datavalue":{"value":{"amount":"+0.83936787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$FA14B029-F86D-47DD-A1FD-B6759DE8CAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3db010943630b55863a5bad715d951d88fbe0b4","datavalue":{"value":{"entity-type":"item","numeric-id":2353397,"id":"Q2353397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1970e5cc4dd07395977440c1d9a79badb82f8059","datavalue":{"value":{"amount":"+0.83936787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$29CCCFE3-70EE-405D-9AAF-417D278D31EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc75054ac9a2a9a552b07e89b77bb613192e6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4737196,"id":"Q4737196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d4e0643e0db81e03e2d656163a93f44d3091ed","datavalue":{"value":{"amount":"+0.8368156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$64BDDD52-05B6-4A8F-9615-374E7FD17AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e173d32426e8aeb30528f8f945a640f6e9f335b","datavalue":{"value":{"entity-type":"item","numeric-id":3725530,"id":"Q3725530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27108e0a04e7e2b1fa467e26923715ac4bd9907","datavalue":{"value":{"amount":"+0.83588797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$CD06CD53-A21E-4F5E-BF5E-5020056CD237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34944fa82257fe2de53da106699c4413dbcb0478","datavalue":{"value":{"entity-type":"item","numeric-id":1105355,"id":"Q1105355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27108e0a04e7e2b1fa467e26923715ac4bd9907","datavalue":{"value":{"amount":"+0.83588797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166759$B332785D-3A8F-4548-920B-175CE28C1890","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166759"}}}}}