{"entities":{"Q1892877":{"pageid":1903619,"ns":120,"title":"Item:Q1892877","lastrevid":73936038,"modified":"2026-04-14T17:47:20Z","type":"item","id":"Q1892877","labels":{"en":{"language":"en","value":"A process algebra for timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 767825"}},"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":"Q1892877$1A5B94C7-7FF0-4071-B79C-2D47A8909BDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c8e570fa04ac1d98b33ac4aefb83a634d3969d2","datavalue":{"value":{"text":"A process algebra for timed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892877$6FCDF4C3-EACC-4D6C-AA94-E58C26D91F38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20247bd81754b80514a3e5cf3a4f76ef811d80b4","datavalue":{"value":"0826.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892877$FE875336-C9F1-499D-9237-590E03C31457","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"098686599ccc2626c204700e25b549080006dc79","datavalue":{"value":{"entity-type":"item","numeric-id":1892876,"id":"Q1892876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892877$CD105D11-66F1-4CDD-8D04-8DAEB1EC513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892877$1AFC107A-1234-48B8-B0AB-26ADCA6694CE","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":"Q1892877$BA2103C2-3CD4-4389-8FFB-3B6130CF13D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68348d793c32038ea526d66d42ab35dbcd9b80ac","datavalue":{"value":{"time":"+1995-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892877$15D89FBA-4552-4B7F-81E3-C73580C0843E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01ccbe4c769da23d37f69ac367e60ac0b5001670","datavalue":{"value":"https://semanticscholar.org/paper/bb8eab15c398ac263808f411b32d676b0c9b52a9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892877$88990BAA-2DFA-4E8A-98B3-6619C2BAF121","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892877$0E43423A-61E3-4D16-B2D1-884E9818C190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892877$71C4263E-C9EB-49F1-8D6A-7137BBEA69AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892877$E63E1229-E993-4F65-AC05-294C6E11E76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892877$A6FDBFD9-2413-48BF-AFAA-B9A366DCD5E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd30eb9f5538182c132f01f5148908abb1f0cb0a","datavalue":{"value":"767825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892877$5EC11239-72E9-4B16-8E8C-80F8131B56F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892877$6EC1B010-2A66-4D33-B409-827BA57F5E56","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":"Q1892877$75882A91-AAAA-4BDA-817C-1C2366935A21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e02ab1bde8a02689d474e8d5f59917e2e7b1ef2","datavalue":{"value":"W2001026449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892877$997A982C-B0F4-43AE-841C-49967A2F7C72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7af46d585acfc991702091b3686ee0633fa778cd","datavalue":{"value":"10.1006/INCO.1995.1041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892877$19F106CC-A7A3-4E37-96A2-5479690ECD0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55eba52c79c70f4952b7eb5c9f04aee1c310e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0824604df81812d723a9ab2207931dd27925bf26","datavalue":{"value":{"amount":"+0.8515808582305908","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":"Q1892877$865A4095-EA97-4E09-A266-AD02DEE78398","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":"79e69cebf05ccf432c11adae4986bc3634280c76","datavalue":{"value":{"amount":"+0.8354352712631226","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":"Q1892877$44C50415-67F7-4B3C-B3FD-F7041CF4D262","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":"b71a2a41e5924734afa4b6cd476fc04c9ebc9e79","datavalue":{"value":{"amount":"+0.830714762210846","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":"Q1892877$C64A53CD-D132-4A67-AA8F-CF249C83BCD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A process algebra for timed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_process_algebra_for_timed_systems"}}}}}