{"entities":{"Q4917024":{"pageid":6946605,"ns":120,"title":"Item:Q4917024","lastrevid":51704576,"modified":"2026-01-19T14:17:16Z","type":"item","id":"Q4917024","labels":{"en":{"language":"en","value":"Embedding untimed into timed process algebra; the case for explicit termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158619"}},"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":"Q4917024$32019273-CC97-443D-B672-160E5EFC3521","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69d295bf6f88b18fa3f72a4852a2b619f3320ee5","datavalue":{"value":{"text":"Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917024$DCA082EB-A506-47C9-9E85-4500863C36AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6205c3071bc2cf1ac30cbbc57ebf0d4aa9f73a5f","datavalue":{"value":"1260.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917024$1E5929B5-51DC-4024-B3BD-C603D00F82CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4645f8cb875c6ada368921cd899d304d5f2306e","datavalue":{"value":"10.1016/S1571-0661(05)82501-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917024$8BB21A7F-BBE2-4A76-928A-A5F89D725B6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$B238106C-B35C-4653-B838-FA0301F281AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917024$76F105F4-5697-4744-954D-EF7DBEBC669A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917024$0237ABA7-9ECE-4F71-938F-8153CFCFA724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2487af104387e798f683e8fc30167784b50f118","datavalue":{"value":"6158619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917024$0C7D6437-71FC-41F7-8BE1-F29DD4063A6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$A1257BA3-F1BD-49D2-8B9C-CB5BF5921399","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":"Q4917024$00A90BBE-05BE-49B6-A5C0-9D1885EC021F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$9D3446CB-3A38-432D-AE4F-C9514A8AB49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"420b5f7e85fc29541ff740295a1dfc2386778401","datavalue":{"value":{"entity-type":"item","numeric-id":1274456,"id":"Q1274456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$C1A23CA5-5A41-44E0-AB27-854389F76938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$2D1B9D32-CB24-4867-A41B-FCDA30D0B6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de57bc035b899f3ad938b63ea4494e767e7b7ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1333405,"id":"Q1333405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$7874997B-CE50-42E3-9FE1-BDCB059E53CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bee26727117a3402c6fc569c590c71675f81e7","datavalue":{"value":{"entity-type":"item","numeric-id":5055876,"id":"Q5055876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$52B4F7B1-2CA4-4912-8870-2DB20C1D8643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a32b662cb24ebd253010e4d2dd1171bea9b2c50","datavalue":{"value":{"entity-type":"item","numeric-id":1914041,"id":"Q1914041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$3CD72EC6-186F-42C8-8338-CFD18C8DCA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a71c1a2d83eda62a52b711e714b9d81f69641bb","datavalue":{"value":{"entity-type":"item","numeric-id":2760247,"id":"Q2760247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$2B696AF4-2F83-420A-95D6-070D1EDB3CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a04257164f4ab48f530dbc97a6b65dff5122bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5494306,"id":"Q5494306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$98D3AC1D-5518-4B3C-BA99-B565F776B02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$EEC18968-B5A8-449C-957D-9EE2896E5C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$AEE7551C-7D69-4728-8A40-E2FB0EB88BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$5070CDF3-AB60-4C46-A201-CD640E82D2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc12c5ff355b3912dfc3cff3dbe48574dd3f3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":1084850,"id":"Q1084850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$CFE3E057-F102-4BFE-9EC6-684ADE470F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1369b26093fdd94a7eeddf6dec291998f31f1433","datavalue":{"value":{"entity-type":"item","numeric-id":1342264,"id":"Q1342264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$AC504119-D10D-47A2-B209-C2CECCE1A9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d708aa24d7d95fa3d8e753c41981a1bd5a1f60b8","datavalue":{"value":{"entity-type":"item","numeric-id":6044120,"id":"Q6044120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$26DD475F-2769-4767-8411-3F4D9106A23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$F6B8C7C1-9CBB-4729-8914-C8EB5DCD8C8F","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":"Q4917024$625593EA-AF28-4EF8-9E0D-FAD08D73E6F5","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":"Q4917024$3C5A2D8A-A444-47B2-B705-DB2A3B5F7F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$34094719-E19F-4789-B569-B3B11746AAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7342796900f8e29a92dd3d0266cf08b31f811fc","datavalue":{"value":{"entity-type":"item","numeric-id":1377607,"id":"Q1377607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$AF7FC0A2-613F-4A94-8E32-D57E147CCD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c61a2308cb21601129dda56139a542aac249f2","datavalue":{"value":{"entity-type":"item","numeric-id":4367581,"id":"Q4367581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$C6ACC413-74B5-4473-9384-CC0F0D8A681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917024$A0C390D2-5ACD-4C02-A030-3D633B89B15D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c427fdfdf5e88ca405734aedce70749c0c4040e","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(05)82501-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917024$071B63BD-F17B-4DA0-8BD4-77D02A0198F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c9bd87ef541e620c3db1815c935a57959eb4b82","datavalue":{"value":"W2093335611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917024$7409C850-B57E-4B9A-9FDF-4FE3563407D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94555c7eeb35d6115f563902ffd3a4f499d8bf46","datavalue":{"value":{"entity-type":"item","numeric-id":4461215,"id":"Q4461215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a54e7c277d668db091031d5656fb65ffe2e93f","datavalue":{"value":{"amount":"+0.9958632588386536","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":"Q4917024$3C51F91E-4FAB-4E38-BC81-9C9EF4F333AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698f3a8517cd2f612ff0927b644bcde74fc6949d","datavalue":{"value":{"entity-type":"item","numeric-id":5494306,"id":"Q5494306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7790d3766d4b277daaee3d053480605146baa57","datavalue":{"value":{"amount":"+0.8348798155784607","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":"Q4917024$53CFFAFD-E1D1-42D6-843B-768D6D2D0C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6dbfdecae7ef3c3e119f4fb0406f546b9ae7bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5898160,"id":"Q5898160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3601ac9445a9e627059d6a3e51582a04c0dd5be3","datavalue":{"value":{"amount":"+0.8093962669372559","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":"Q4917024$15D6BB46-1BD8-4B75-9A6C-FB459D9C223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98b2285a4da37bced6b470ca74a12fbe08531c9","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b8f96019ed251fb404eadf5b29981c3de5c295","datavalue":{"value":{"amount":"+0.7871431112289429","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":"Q4917024$07806C2C-7E29-46F8-8230-91D9D7388AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbff23aa2f31a89c9550f58314858581ae0a7bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3508533,"id":"Q3508533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d887cc4595aef5e9b831a04e44be93ac2d56cb4","datavalue":{"value":{"amount":"+0.7736515998840332","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":"Q4917024$112397A7-22E3-4816-BC21-BE7804F4CDE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917024"}}}}}