{"entities":{"Q3460225":{"pageid":5239625,"ns":120,"title":"Item:Q3460225","lastrevid":52427681,"modified":"2026-01-22T15:14:22Z","type":"item","id":"Q3460225","labels":{"en":{"language":"en","value":"Coalgebraic semantic model for the clock constraint specification language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526879"}},"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":"Q3460225$5B5D9778-A6B2-40A7-8BDE-E9797988679B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d318609c5fcefbab31a56e93f43b8a75f0b94ef","datavalue":{"value":{"text":"Coalgebraic Semantic Model for the Clock Constraint Specification Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460225$C96F34FF-3F5F-4549-A484-31B057486DF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3fd234717bb6c69dcc22b2480d7dbd0d24b9a9e","datavalue":{"value":"1328.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460225$43A0E609-CE4A-443D-93E6-3F7C902F95B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21f8dcb50825e079c45fb8d477d9881784d0f6ce","datavalue":{"value":"10.1007/978-3-319-17581-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460225$990BA450-0BA0-4824-BBBD-A22BC32919E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed3cd44e5666cd3e134deb0e03d1f8a0593ca3e1","datavalue":{"value":{"entity-type":"item","numeric-id":3460223,"id":"Q3460223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$9B7E7B14-0AE8-4F12-AEDB-7E76F6F08E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab9eed4d5ecdfa174d167224ddfcfaefc40707f","datavalue":{"value":{"entity-type":"item","numeric-id":3460224,"id":"Q3460224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$0642598D-21E8-4D0E-86D3-4FF9C7D7E66C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$ECF50F2B-5BD9-4FE7-A3D5-E0513BD881EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460225$FA40F00D-E9A2-44D9-900A-97AE406BD65E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460225$89CE2443-91FC-4AE6-A0ED-77A878CF22DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460225$861E674D-8E22-4AFF-959B-DA6CAD5FC022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460225$E8448B4E-F7B0-4F94-BEEF-BA5F055A05FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1805954b2647361ffce243fe46e4e7c5b82d09e","datavalue":{"value":"6526879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460225$F7BE1059-C167-42EF-AD72-DF14157DF4D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb7f00ee7fdadd911515b91bdfee9f839c293b4","datavalue":{"value":"concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460225$4F634D81-802B-4C3E-863C-3DB7B4897080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a65b4921c365cb32f2034c0af985589902a9568","datavalue":{"value":"behavior model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460225$9D9C92CB-2E33-4BDD-B127-0855AD9D0924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf4ed9b67dc86b0db5e2e05348f9b9fa1b029e4","datavalue":{"value":"clock model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460225$93F62C8F-E42A-47E3-B5F3-2CA890D123EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460225$9C3DB905-4925-45EE-B275-C909953FE490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460225$AF7CFD8E-74A3-4B7C-82E9-BFA69BEA85CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab8b41d4f6ac73ee641d1700edb49bc569cd9d33","datavalue":{"value":{"entity-type":"item","numeric-id":27702,"id":"Q27702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$BC21F5D2-04B2-4EC4-B340-DC6990BBEA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acf62e8a70e4a3cf002b062d3c3bed8846887366","datavalue":{"value":{"entity-type":"item","numeric-id":15889,"id":"Q15889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$262F224D-09BE-4705-B390-6CD374CF7564","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":"Q3460225$495AFE88-C09E-4F47-AE73-FDE87B32376C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97a068d457cb89dde1bb6df6f2917a0e388fa086","datavalue":{"value":"https://doi.org/10.1007/978-3-319-17581-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460225$42FEE43C-F48C-4E5E-B5FE-1712426EE92E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e566b3ed2f9675231195d01d15b10eb450e3c056","datavalue":{"value":"W1036629521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460225$5E832EA1-ED64-40FB-AEAD-12181F293277","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5a97cbd9c220f9e26357aa338afd6a64b98f80","datavalue":{"value":{"entity-type":"item","numeric-id":4551181,"id":"Q4551181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$354B1D5A-0C9B-493D-8519-4AAAABF60EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38eeb746a845595ba6e0da6a0721e86d6f86fb0f","datavalue":{"value":{"entity-type":"item","numeric-id":3090859,"id":"Q3090859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$63C5B2C9-3FE6-4937-A6F3-BEF5DFFB9182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$232AE1AC-7F29-4E15-97F7-866BA5EE3DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb70412cafc6e538980766c76c983549d861cd3c","datavalue":{"value":{"entity-type":"item","numeric-id":3851636,"id":"Q3851636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$FD6A4418-17BD-4C0E-912A-0FC12F5B93D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$4444188D-3A60-42A0-8C83-C14A74353A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$9A961017-E166-460B-B674-412216F15F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460225$98A7EA1A-2AC9-4378-86A8-6A9B5D8C59EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705679d818532ceeda20e229656acbfb2e98f253","datavalue":{"value":{"entity-type":"item","numeric-id":4989017,"id":"Q4989017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880e75ff716af8442fad189588776d2b39d33574","datavalue":{"value":{"amount":"+0.8013006448745728","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":"Q3460225$47597934-DD55-49AE-954B-4220181BC61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae6bddd1e1a58e69523a39f5c0698e24598d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":4686605,"id":"Q4686605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e843bd2b97c90ef89b20e883577981049ae24547","datavalue":{"value":{"amount":"+0.7871198654174805","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":"Q3460225$E95061CB-B2E3-4598-8D7F-D98D5B095FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbab06b957161c9b789968784bd37f49f2c4c2f4","datavalue":{"value":{"entity-type":"item","numeric-id":2843729,"id":"Q2843729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca15af9b3889bc4c1b0cc822e8f794254faf25e","datavalue":{"value":{"amount":"+0.7664112448692322","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":"Q3460225$67EA7DC7-E816-4295-9095-28ACB8B967B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64169925610405119f3b2887ce8a059f198569be","datavalue":{"value":{"entity-type":"item","numeric-id":2709810,"id":"Q2709810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ced5961616f85561879aaf303a8fdad55f98a8","datavalue":{"value":{"amount":"+0.7632721662521362","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":"Q3460225$64FACEAA-F241-4AB0-932C-15AF46FCCA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8df63c5a7f7075ab4b0daf78263796cd49bc818","datavalue":{"value":{"entity-type":"item","numeric-id":2369034,"id":"Q2369034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79744ecb26bd63b037330a8ca386888c392c044","datavalue":{"value":{"amount":"+0.7568797469139099","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":"Q3460225$B06BE84F-B85D-4F01-8222-1025041B53E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460225"}}}}}