{"entities":{"Q4542239":{"pageid":6571831,"ns":120,"title":"Item:Q4542239","lastrevid":89713733,"modified":"2026-06-04T18:04:47Z","type":"item","id":"Q4542239","labels":{"en":{"language":"en","value":"Continuous Additive Algebras and Injective Simulations of Synchronization Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1775129"}},"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":"Q4542239$997ADED3-DD09-4835-93E4-2CD57ABF9B25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb2e836916d8cbc3c39551c2602c08ca6ed280d7","datavalue":{"value":{"text":"Continuous Additive Algebras and Injective Simulations of Synchronization Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4542239$75729BF8-95B1-4670-BFB4-712A891C46E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c69745ff6b8513fb77e84683692c546d9650ab06","datavalue":{"value":"1003.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542239$8739228A-B1C6-4458-B295-1E51C2B082E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f81d54cbccd73f5db006ac310aa1345288030cf","datavalue":{"value":{"time":"+2003-01-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":"Q4542239$7A5273EA-5809-4AAD-A1B7-4FB07CE189B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542239$9454B77D-1547-4309-BDCE-A6ED477F516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542239$6EDCE01D-6A1D-4C42-88BB-435EF073F0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542239$80B34ABE-A340-4FFE-BAB8-FFAE6CF84C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542239$62721669-3A0C-4996-9773-7A3E13BC64A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"136af6e3b75badf94547faf03c2a623ad7716791","datavalue":{"value":"1775129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542239$7EA1D3DB-7AA8-49CB-895D-CCD90E68AB46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542239$60E75399-2363-45C7-82B4-D1B72032C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542239$3978C142-67B2-467C-9D20-6A69D9E98DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8778c1b27a823e27890fef077ae9c48d377f0562","datavalue":{"value":"synchronization trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542239$A3F6863F-BE06-4283-9F80-2C30FDA2F91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542239$60AF0E21-0521-4DC5-9114-DD894D006366","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542239$44661430-6E55-4C23-BCD6-06B27DE9D1AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f6901550a639fe46ee9bc65b8261e205adc29d5","datavalue":{"value":"Q114091821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542239$A3025C17-D414-4592-AD6A-A7F4828FA092","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":"Q4542239$0E12DB9F-D886-4C7B-964F-A1652716CE8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26eeb0988a76e11269f2f0e2bf2aa24221ecaac0","datavalue":{"value":"https://doi.org/10.1093/logcom/12.2.271","type":"string"},"datatype":"url"},"type":"statement","id":"Q4542239$168EAB23-232F-40A2-8495-FC22549CB6CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5d420678a41737727e36c1d3952b5b93e2e15b2","datavalue":{"value":"W2075548256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542239$A7260F8A-7CB0-4B8B-92C6-86D4DAFDE333","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc4fbad59d4d65bb2be256791db06f4c225feb91","datavalue":{"value":"10.1093/LOGCOM/12.2.271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542239$0A8F534C-3E4D-415D-BDA2-C9D2514C3A49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542239$BEB0586F-CD1E-48D5-901B-22A7BB8F0021","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640eaa8426d265890009f33867facf424b02a0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3166997,"id":"Q3166997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5033dbf2472ef831bfb65a27a6e1c430849b96e4","datavalue":{"value":{"amount":"+0.88386047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$CABED494-4B2F-4899-9B05-56056ABA6118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f237d8c7d1d4897e345fb9e25d47d2744c55bb5b","datavalue":{"value":{"entity-type":"item","numeric-id":1207946,"id":"Q1207946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e981f7cdc68bb33aa2c573a97808c7a4a23251","datavalue":{"value":{"amount":"+0.84733766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$31030F9E-4A8A-41FF-BB9C-0107204E5BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f3ffee15f98faf1da78a7176feb9e9cb6cf73a","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eefdbe729852543b6f697c5423f8438bdb284d9","datavalue":{"value":{"amount":"+0.84629625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$039CB2ED-704B-4687-863E-926BC93C6E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9138c2661842bd66e3aa7c7bca34da6faad9c0a5","datavalue":{"value":{"entity-type":"item","numeric-id":2447752,"id":"Q2447752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c757da1056cffe02e9daf4bb1af7d3da8132e2c","datavalue":{"value":{"amount":"+0.83677554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$B1F8DC1C-426B-4D30-AC36-75DFD3E7CA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3310483601ec8c78e9b6a73b9c962cca8c6562a1","datavalue":{"value":{"entity-type":"item","numeric-id":4733394,"id":"Q4733394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009e29a7fe4cce274a82ab643484af44b6c34c97","datavalue":{"value":{"amount":"+0.832173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$1F610EDD-9E34-471D-9CBB-53C467730664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f76cea67dbae10180ad0b269f9693a31f370f79","datavalue":{"value":{"entity-type":"item","numeric-id":1186811,"id":"Q1186811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d3930d28849217c7e10b79605402360873c883","datavalue":{"value":{"amount":"+0.8318808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$6A21482E-7607-4B0B-BE9D-B77064FF7A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c1f8020b76da74a0eccbc7116efe9c6fc91530","datavalue":{"value":{"entity-type":"item","numeric-id":2848668,"id":"Q2848668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57680e973323dc197549a74e627a76e00c3170e0","datavalue":{"value":{"amount":"+0.829794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$6EECE1FA-8666-461D-97E7-5BAB572B49E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711612d6fa227cbeee5cacd3bf1a22b1dc3d4478","datavalue":{"value":{"entity-type":"item","numeric-id":5410680,"id":"Q5410680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5451c22373a773275b870c551ded727d8d3ec4d","datavalue":{"value":{"amount":"+0.8283004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$E8DF7463-C36D-4B5D-ACD1-59F225529D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a6343315155ef9e01fbd85b07845e4b2fbfbf0","datavalue":{"value":{"entity-type":"item","numeric-id":3612670,"id":"Q3612670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d1b95ae74c1e061f94bde848680c414d4e27d4","datavalue":{"value":{"amount":"+0.8281698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$7F4FF0C8-4569-4DD4-8BF9-BDAD09B09361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd0df4854cacb34613fda74d1d712469fb34e0c","datavalue":{"value":{"entity-type":"item","numeric-id":1821560,"id":"Q1821560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d766f6d166f4688ee85c33e890f29d1446432b","datavalue":{"value":{"amount":"+0.8262325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542239$6B3CDCED-FC77-4F94-B933-4B1DCDFDAC1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuous Additive Algebras and Injective Simulations of Synchronization Trees","badges":[]}}}}}