{"entities":{"Q4461215":{"pageid":6490814,"ns":120,"title":"Item:Q4461215","lastrevid":89501963,"modified":"2026-06-04T17:31:51Z","type":"item","id":"Q4461215","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 2063599"}},"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":"Q4461215$8EA41F37-E72A-4E49-AB34-C830D2CB0BC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff6e95159932a944381886dd20f18930c0065347","datavalue":{"value":{"text":"Embedding untimed into timed process algebra: the case for explicit termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4461215$8FC2788F-8786-4608-9AD0-32F2FDD0586E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac83953f4a9dee2ed308a282692b834a480964ea","datavalue":{"value":"1088.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461215$BE81CBCF-C5AA-466B-8F12-FC8194800CC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d0345774ec3d622d0d5be77811d7b75fb176150","datavalue":{"value":"10.1017/S0960129503004006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461215$9C5B75C4-E4AF-46A2-8EA3-0915778D3773","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461215$9E5E42DB-467B-4A8C-A975-20A77D0B3B31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c6fdb76f2daf9edf730ebf5f5bb24859da4eb5e","datavalue":{"value":{"time":"+2004-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4461215$7C762F3C-2788-4E93-BEA5-C8C18B93F6D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461215$8F1C01F7-79B7-4591-9751-1E621ADF6616","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"731b400e508594a43b666d0c699d2b78624e3d5a","datavalue":{"value":"2063599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461215$6BCD7233-19AB-4B33-B4D2-B4969274D232","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":"Q4461215$660FE860-6179-43B6-87E7-91FCC8D65A4D","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":"Q4461215$33DC239A-B2CE-4E84-BC4A-F18330FDD5C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dadf1ea08fc39af53c6c45bb21d3bca189ad19be","datavalue":{"value":"https://doi.org/10.1017/s0960129503004006","type":"string"},"datatype":"url"},"type":"statement","id":"Q4461215$C5C0BC8B-F539-4319-BC04-5176E3595112","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ea7d5b43f04eb0ea0215da08c3a8a3d46e84a6a","datavalue":{"value":"W2146805109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461215$E5B6D403-2135-4360-99A2-7DAAE32502F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490255716605ce96cf1af522799edeef2bc41829","datavalue":{"value":{"entity-type":"item","numeric-id":4917024,"id":"Q4917024"},"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":"Q4461215$61D9EB9C-7FE8-4D76-94DC-CABF129B0761","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":"ca6b1ddd1d4f69b86379fb5b1709e7cfecb9508d","datavalue":{"value":{"amount":"+0.8402981758117676","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":"Q4461215$2DE84281-B521-4687-BAC8-38A8381AB3D6","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":"0cdb2aded5062e151aab12a0aabf468fad27b81c","datavalue":{"value":{"amount":"+0.8194239735603333","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":"Q4461215$1401C7D5-CCB9-4283-B11D-34B43A271403","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":"5c0d95f11c250b946b348d05928efd35b8c0a516","datavalue":{"value":{"amount":"+0.7859078049659729","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":"Q4461215$65BEEDF6-34A7-4A2B-8502-490CF320A3D0","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":"9f65fe759f3fe5e6dd566bb32c51beaf978d8b67","datavalue":{"value":{"amount":"+0.7739889621734619","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":"Q4461215$1227316D-985A-4EF0-81D8-8BE6E8C1196D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding untimed into timed process algebra: the case for explicit termination","badges":[]}}}}}