{"entities":{"Q2642542":{"pageid":2653285,"ns":120,"title":"Item:Q2642542","lastrevid":56849946,"modified":"2026-03-23T19:32:00Z","type":"item","id":"Q2642542","labels":{"en":{"language":"en","value":"Predictable real-time software synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5179937"}},"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":"Q2642542$0ADC286F-8D79-4A4D-AD87-D42D7053E1CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1c1b69eac8b0b2ab71bb5ec733a056a7bc0754d","datavalue":{"value":{"text":"Predictable real-time software synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642542$8E354523-2D69-4B4E-9329-F0C7351BFCA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"772da0ce2d56c1848b08985dc3ee314bc4b7db0f","datavalue":{"value":"1118.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642542$BAE99A8A-955D-406F-ABCF-642E3B9E630E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30dd9e84eb69befeac0e37758afdc412e66f5cc6","datavalue":{"value":{"entity-type":"item","numeric-id":2189770,"id":"Q2189770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$ACBBC7E1-87F7-4BC9-A8DB-ECCF4E66C362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d97751b7b5759f9ed4d08a94a43504384a913ee","datavalue":{"value":{"entity-type":"item","numeric-id":1400385,"id":"Q1400385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$7BA7EE97-D7B2-4BB0-BE6F-B1B8DB1F777B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3b2668e3ad14865f08f842f8e14222831dd9fc","datavalue":{"value":{"entity-type":"item","numeric-id":836398,"id":"Q836398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$C45A90F2-0443-4744-A37D-DF18AA8AAE65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$88BDAF7F-D0B0-4419-8BC7-0BADFF39BBCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642542$2A2266CA-E459-48CF-879A-A43E4AF0E3E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642542$F66DE502-22D2-496C-91C9-642C8FA1B690","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"773bcc06fe0757f655912766ca31f34f3660c623","datavalue":{"value":"5179937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642542$8784AD2A-5714-4C92-A9B9-0F53BFC6E9F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642542$B3B1E414-2476-46C6-AACC-2DA02377F69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642542$4E22FB93-E48D-4F36-A3A9-5F1FCACBB344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9bc06b0dfbec86650a2b13b83ea31e9af3982c","datavalue":{"value":"Program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642542$F8F3241C-C74A-40DC-BC04-8CAACE2DD4A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"facdf200105caa9a8346d7f6e980c631ef5276ce","datavalue":{"value":{"entity-type":"item","numeric-id":14142,"id":"Q14142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$744773E7-7A80-42A5-8153-A475E2609DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$C9FD861E-EC6C-4E0B-A0DE-B3F24750841B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7efdfa2bade50b79537bf8bf42b7a9ad23f6ca49","datavalue":{"value":{"entity-type":"item","numeric-id":15469,"id":"Q15469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$8AF59C96-4CF5-478D-90B6-41E124E93E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$6BD2A9F9-14AF-4650-A7D8-B154FFDE0FFC","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":"Q2642542$8992E664-BA0F-4AD8-B690-EBEDC44F0CB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"813a5c560aba4060710ffd2ece7dba51a092611b","datavalue":{"value":"https://doi.org/10.1007/s11241-007-9013-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642542$DC7424F4-8C75-42B2-8CA2-4ADFC0B71DA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95186bd362f243b5a8e467d4e2cf8e860743e9e5","datavalue":{"value":"W2059883901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642542$E418B423-5FF7-4DF9-827C-C4F6478D9ED6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40b375c01a9c4ec0f890009df77131b36b96152","datavalue":{"value":{"entity-type":"item","numeric-id":698466,"id":"Q698466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$4AAB103A-8DB4-4DA8-A0DD-38E9F70D3985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$BD8D7ED4-F868-4220-A3F2-C74ADD52F7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39262a0a04b7504b30d279eabeb2c8c5d8a139b2","datavalue":{"value":{"entity-type":"item","numeric-id":5703961,"id":"Q5703961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$74D45052-5DA6-4FCB-9566-5598247C77BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ce8a0ae2d33625bf03a95fd9dae3bed5c0a6c3","datavalue":{"value":{"entity-type":"item","numeric-id":4654724,"id":"Q4654724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$EF409F02-DE13-478A-B0A4-893780DAF97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3944168674e8d035390c8d2e2ce4fbe92171db2c","datavalue":{"value":{"entity-type":"item","numeric-id":4329559,"id":"Q4329559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$8C5EA422-FD2B-46F0-839A-DA20F286C322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d6ee621860b0f6e8b25ed972377cd75b001298","datavalue":{"value":{"entity-type":"item","numeric-id":1400428,"id":"Q1400428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$070D7935-8150-47A7-B787-79DED59852BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$3DC416E7-FAFD-47F9-A76B-281DF3E98431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b88f7dde9d12fd7ba7464e51c34e55fa0fed91","datavalue":{"value":{"entity-type":"item","numeric-id":3522914,"id":"Q3522914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$74AE1F2E-F5EA-43F3-BAB9-66C3731DA7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a4333f1661c8971f8afd5923da19f04a107f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2743706,"id":"Q2743706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$B8D629D9-2FBF-408E-9444-7D701887C6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$26BAFA08-91B6-4407-A1D8-B06B73E8648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cd108042abb985591bb636eef67c4e00a46438","datavalue":{"value":{"entity-type":"item","numeric-id":4681542,"id":"Q4681542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$386C3774-095F-4BB0-8B3D-58308073003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$662296B8-8468-4500-97C1-E9BE382E0A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd39a7e25628f374c2c1a45f0776f01090a5f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4261739,"id":"Q4261739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$6B6C7FF5-9445-4CB9-8980-E069D3BE4C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$EDD1AB33-1457-4962-BF1B-141DEF5A174E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f309ceda465abd1c7ff47918fafc1312a3f4da16","datavalue":{"value":{"entity-type":"item","numeric-id":1975199,"id":"Q1975199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$68651EB7-CB39-4EDD-81AF-18CD03DA4DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f202c6e52419b9f5d50e1e7a694d91d049ed222","datavalue":{"value":{"entity-type":"item","numeric-id":1400387,"id":"Q1400387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$F6B897A6-BCBB-4E9F-A6F4-2904351D8019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fdffb5dd1223f571882d363432c9fff29a083f","datavalue":{"value":{"entity-type":"item","numeric-id":2576589,"id":"Q2576589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$6DF11BFD-17FE-4880-B7C7-54F9FAD3D1F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6598ae20e52aee6ca7eeb0a9eaf7e05e7e1d921b","datavalue":{"value":"10.1007/S11241-007-9013-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642542$56B6AD2C-BE71-4705-9F3D-D44E2B74E0DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d83aa3be5ea35a0dc597fe0da6e022d4bf06df2","datavalue":{"value":{"entity-type":"item","numeric-id":3522914,"id":"Q3522914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5e2a9bd5c531ce5907f2f60628c0e57a4b328b","datavalue":{"value":{"amount":"+0.7628749012947083","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":"Q2642542$6710FA9D-3243-4F35-8FEC-B237EB10DA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e1b6406202cfa375f7113ab954bb996be6d981","datavalue":{"value":{"entity-type":"item","numeric-id":386617,"id":"Q386617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47636565f808443196e2a05e80d21971d663ac8c","datavalue":{"value":{"amount":"+0.7576078772544861","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":"Q2642542$DFD180FF-6B20-413D-80AC-1CF2D0937900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a243ce3959d70ba9c9e0366a6c4b7da09f1107c","datavalue":{"value":{"entity-type":"item","numeric-id":5045458,"id":"Q5045458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764661bb100dcea630353f5a75dd727351e2da25","datavalue":{"value":{"amount":"+0.7542313933372498","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":"Q2642542$ECC2DF9C-2FCE-42A8-B108-5B0315F59291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8827663ee04c1c28074b207f1ec06223ba0cbdd","datavalue":{"value":{"entity-type":"item","numeric-id":1708707,"id":"Q1708707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e68e8dc0f004df74ae2d28df101d59f401ba9fd","datavalue":{"value":{"amount":"+0.744128406047821","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":"Q2642542$7F4CE370-28E6-4117-B1A3-06949CD6DD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb85b9ab79904ff3dbaeae75c21de516fe7998c","datavalue":{"value":{"amount":"+0.7410048246383667","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":"Q2642542$BC4758F3-31BB-4FE9-BBF4-826B41A165C3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642542$318EAF07-11F7-4993-B918-6E15723E5544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642542"}}}}}