{"entities":{"Q1336052":{"pageid":1346791,"ns":120,"title":"Item:Q1336052","lastrevid":47271508,"modified":"2026-01-01T04:52:57Z","type":"item","id":"Q1336052","labels":{"en":{"language":"en","value":"The algebra of timed processes, ATP: Theory and application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 653291"}},"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":"Q1336052$CA13217A-4FCC-46C2-9020-8D148CECF887","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3869568ca51f818908c68f477e85853578d2cc0e","datavalue":{"value":{"text":"The algebra of timed processes, ATP: Theory and application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1336052$90C141BD-CB8D-46B4-B2D8-1294311BDC77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61452a8d498fad9afa4d4ed638f430ee2d57908e","datavalue":{"value":"0811.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336052$DC467AA6-BDCF-41F9-B7ED-631488A532FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf1ccc2381d354ec662ed94ad084da7613541b71","datavalue":{"value":{"entity-type":"item","numeric-id":1323312,"id":"Q1323312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336052$99D1ED91-53DB-412B-A45A-8F68C4C6FF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336052$5DA325FD-C826-4246-BD30-8A80B77DE906","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336052$36D26E63-3270-4504-9F1E-FB30F2A13B90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35d39e210be1143825b67c9418f16b393bda66a7","datavalue":{"value":{"time":"+1994-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1336052$C8914601-150D-40BB-888C-CA14C4D0BDE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bd827b450f6570ae30361f5a2431c1b4f5b510b","datavalue":{"value":"https://semanticscholar.org/paper/e5277b300fc5f18b41c0cfa6f1852f597fc8e2f1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1336052$4256B688-D5EB-4E3D-9087-DA71DA49534A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336052$1A4A58AA-E59D-4156-ACAB-A40ACC13313B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336052$E553639F-CBFD-4E01-913D-1A35A09F2F85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc6ddba58ae310adfa46e6a9f7c8ec2035408ace","datavalue":{"value":"653291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336052$5EDFB7D6-66E2-4FCE-8890-3E0F682AFECB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef695b328e55ba4ed78dc8400aef61497a5445e7","datavalue":{"value":"timeouts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336052$5B8A5152-E85D-4C20-8E56-DB42A8A7A073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0d50d237c91fbb0407e1bdb3576b57a926a5ce","datavalue":{"value":"watchdogs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336052$104614CC-76D3-461C-A9A2-3761CB83341E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30989aaa6a9977d95d547389134483651c7bb98","datavalue":{"value":"existing timed process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336052$5ABC03DF-1D9D-45E3-8130-D8F2FFAE6F0A","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":"Q1336052$76CC9EB7-DA3A-44F4-BD40-8FF52C40CF1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2a78b27228301e32a5aa737e6f511b8fe5cb624","datavalue":{"value":"W2089546907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336052$564D49BC-06FD-4F8D-8160-FC525BDB1397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"052644c8844b41bc847e2d4122ebabdac78143a9","datavalue":{"value":"10.1006/INCO.1994.1083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336052$67743436-1344-40CA-8C65-2D80C638E381","rank":"normal"}],"P1643":[{"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":"cad0bc73b69bef8cd4e3d298115cde36ec3ba314","datavalue":{"value":{"amount":"+0.8486680388450623","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":"Q1336052$3639FF8B-23D0-4498-8506-4E5D4A8490D2","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":"17bc9b47553d43938e90d936e74415cc678d20cf","datavalue":{"value":{"amount":"+0.8114901781082153","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":"Q1336052$C171B8E6-7D29-4264-8941-6A471D98228F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3751b25ddee7e7a23988e18877b748010d86111c","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1640d93357a80cbcdec7c867013d9488640fe2da","datavalue":{"value":{"amount":"+0.8054393529891968","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":"Q1336052$00F71D53-845D-4AA8-9AEA-6ABB69DE1A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d3f6188ca3f1f9cddfa448b926c78e0133fc32","datavalue":{"value":{"entity-type":"item","numeric-id":1323313,"id":"Q1323313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1640d93357a80cbcdec7c867013d9488640fe2da","datavalue":{"value":{"amount":"+0.8054393529891968","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":"Q1336052$9546F37C-8A2F-464C-B50A-D1EBB099FFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34fe4d287a703d33a22e621c21c2b7e23a06c188","datavalue":{"value":{"entity-type":"item","numeric-id":4028626,"id":"Q4028626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c836c3cdab8edd079f6621fc22b892c2ddfdf69","datavalue":{"value":{"amount":"+0.7956620454788208","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":"Q1336052$2F7EB26F-97E2-4C23-A33F-5926522A22A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1336052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1336052"}}}}}