{"entities":{"Q5044746":{"pageid":7074323,"ns":120,"title":"Item:Q5044746","lastrevid":54433661,"modified":"2026-01-26T19:44:49Z","type":"item","id":"Q5044746","labels":{"en":{"language":"en","value":"A technique for specifying and refining TCSP processes by using guards and liveness conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611273"}},"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":"Q5044746$7DAEC27C-EF1D-41D4-B5EF-D827355E0326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edf296396b521dbaef36764613ccbc7a4675d7d5","datavalue":{"value":{"text":"A technique for specifying and refining TCSP processes by using guards and liveness conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044746$CE24168E-F01F-45F2-9A64-04434F1D129A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2876ae230d72afb86464c8e82ac24d3000c58929","datavalue":{"value":"1497.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044746$BD1DEA9B-2C12-48DB-9B58-6E57368419EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66559c0752e5f3a0855b8f2f678bf439fdccb72b","datavalue":{"value":"10.1007/3-540-56610-4_74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044746$2F0EF545-FB6D-4B37-8B80-3E64A60C1A4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044746$50D3C951-9636-4007-A135-DFC86C4AB9E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-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":"Q5044746$744DADD2-C90E-4404-B74E-3105A657D246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044746$00EC6626-7C3E-462F-B0E6-DC9D5EF31198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044746$233B266F-DE2D-47D3-B3A1-C1B35075219A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff5ec9014a3b5e72d07d3c5b11b761765d1f4e88","datavalue":{"value":"7611273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044746$BC14D110-F398-4C67-A4EA-F9141B412421","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":"Q5044746$A70A0338-3628-4FB3-A49E-45A189916EDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebd83fc5d19d1ffd51f42c588eaabc971bc030c6","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_74","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044746$2C521773-2EF4-460C-86D7-B92409986F4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"843b41a5e792e0ead9b57f268c9e1b6a2a681770","datavalue":{"value":"W1481198338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044746$BCF4D54C-CDB0-4E32-8B7F-FD4F7744502E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044746$FC48E227-6031-425E-9A46-8275B29C4365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044746$B9556299-8B88-4AF5-A3CA-565C0AE6A045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044746$C46628C7-C5A9-4068-BE4C-BEA98229AC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044746$66214A04-2CD7-4182-B465-C9AF3D279291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044746$CB41FBCC-8A4A-4F80-9515-99AB2B6D6CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61688f3057dea46c184688c59e5d28895fd3100","datavalue":{"value":{"entity-type":"item","numeric-id":911322,"id":"Q911322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044746$4C612426-3178-4686-9842-ABA57FB61229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044746$B7A9FB39-2766-4B86-A296-D96527011B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044746$51BAA815-60C6-4255-A05F-32D129BDBD9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed889b4ece169a6ad4630eea1c621be221f2eb4","datavalue":{"value":{"entity-type":"item","numeric-id":3700805,"id":"Q3700805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ce3f72494077fce1c9dd693bbf7974ae519da9","datavalue":{"value":{"amount":"+0.7625238299369812","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":"Q5044746$C819A6A6-F5C0-42D9-A603-1EBEA9B65689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2db83a0eae6ef674b25a558d72ce173867a5309","datavalue":{"value":{"entity-type":"item","numeric-id":911322,"id":"Q911322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36db6aff8929642ab0cd40dba38863996ac9eff8","datavalue":{"value":{"amount":"+0.7555782198905945","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":"Q5044746$7A965B95-2772-4430-8B04-CC7BF96EE8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3944cdeb91080ea26c2459a3c718cb299a94e16e","datavalue":{"value":{"entity-type":"item","numeric-id":676846,"id":"Q676846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798dd24b87617ae7dc9f82b59254e090cdbe3636","datavalue":{"value":{"amount":"+0.7520779967308044","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":"Q5044746$EB4A64E7-C226-4585-AD57-06BF1265C8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317ecfc49be59afa8f00e3daaee351230a1cd2b7","datavalue":{"value":{"entity-type":"item","numeric-id":5890047,"id":"Q5890047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ca81d9f3240846298681f02b9bce750cc90c89","datavalue":{"value":{"amount":"+0.7493565678596497","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":"Q5044746$EA95DFC8-71EA-471D-88A8-3D8D96320826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfbbf344812039e47f7981d9ae72aa3af2c9461","datavalue":{"value":{"amount":"+0.734944224357605","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":"Q5044746$C88542DD-52B8-4848-BD21-60E21576860D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044746"}}}}}