{"entities":{"Q2709229":{"pageid":2719968,"ns":120,"title":"Item:Q2709229","lastrevid":82800872,"modified":"2026-05-06T22:06:53Z","type":"item","id":"Q2709229","labels":{"en":{"language":"en","value":"Towards two-level formal modeling of computer-based systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1585303"}},"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":"Q2709229$FA0370CF-ABA5-49AC-B3CC-E6097B9D9BEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5155cfa04aeec382c88606ef33df7a98f561dcb1","datavalue":{"value":"0963.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709229$086603EE-1956-427F-831E-6C300B562A64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dbdc428734bc0ebc48c91416e85e30cca008263","datavalue":{"value":{"entity-type":"item","numeric-id":1953739,"id":"Q1953739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709229$5F83797B-4C2E-45D4-8A7D-E3B830C480DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"205935cfddd65353b70528be12825ff5fae56583","datavalue":{"value":{"entity-type":"item","numeric-id":2709227,"id":"Q2709227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709229$F76C269C-0456-4317-BE5C-5BFD3E76C9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32e5f70d8573828a6808551f26112410057e5b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2709228,"id":"Q2709228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709229$96DD75E4-A8CD-40DB-825E-E524591B1E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d030dd3b87f25657d701c60e21dd749c11f70a","datavalue":{"value":{"entity-type":"item","numeric-id":757084,"id":"Q757084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709229$9DCE9FC1-ED36-42AB-91A8-2661685FF5DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fae3664154dc61222a1003dc28228b6754c9eec5","datavalue":{"value":{"time":"+2001-05-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":"Q2709229$7CE4E5CD-D8AC-4A89-8FCF-87C6D73B4056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7de030b4f251c74d6c79493a0dd7fe5e2a5b4a3e","datavalue":{"value":"http://www.jucs.org/jucs_6_11/towards_two_level_formal","type":"string"},"datatype":"url"},"type":"statement","id":"Q2709229$77E36458-779C-4ABB-A7A8-234BF37BDCED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709229$386A1232-481B-4AE1-B57A-924EC526E620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae61091ca16811c2144bfdfcd72d10b54fc40a9a","datavalue":{"value":"1585303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709229$C339F30D-039B-43F8-B8BB-97F76E7C7CAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6fb5e922cce4a449844ba19ddd25fd6485ecf18","datavalue":{"value":"embedded computer-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709229$F8F4C59F-4FCB-415F-BEA4-88371D2A933F","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":"Q2709229$ADBAD7B3-32D4-4E39-BF0B-39861A714047","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf50ce1657f51e3cd73edaa4988411a27b0c00b","datavalue":{"value":{"entity-type":"item","numeric-id":3526924,"id":"Q3526924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8771a8b556d7def528c8433c7648ad5283d496d9","datavalue":{"value":{"amount":"+0.8706424","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":"Q2709229$A2A205CE-8A1B-46B0-8D72-AC756321ABC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12959d454dae1aeee12bf8799252bd1124320f9","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3399e5a2ed3119e9b3fdbcb7946c997b942b3e","datavalue":{"value":{"amount":"+0.8483348","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":"Q2709229$7D97D6C7-CDCE-4D82-8B20-27BE67E78699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50d89b512f465064f5684ab525e5dac2c226537","datavalue":{"value":{"entity-type":"item","numeric-id":440664,"id":"Q440664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d722899d3c1e6699474cb1f32c4d62227983c75","datavalue":{"value":{"amount":"+0.84777945","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":"Q2709229$A08DD002-6015-4B4F-B375-D45CD7218678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70737d0756f65e0131eda41d8c7bb17a46148685","datavalue":{"value":{"entity-type":"item","numeric-id":3158282,"id":"Q3158282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea23c5f623e50c41016f82d48f6542540b18db1","datavalue":{"value":{"amount":"+0.84288603","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":"Q2709229$29F3A549-35BB-4B22-A72F-7ADBDC0AF267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b215bbd0e5a0f4ced762d1a5ea5961200d72da0","datavalue":{"value":{"entity-type":"item","numeric-id":3009352,"id":"Q3009352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9380fa9f0f6facd737b013cbee1319d859fc0bd","datavalue":{"value":{"amount":"+0.8426626","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":"Q2709229$8EFEEE11-4115-4A36-B8D1-FF99FC711CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc303c4136240790e179a8a9a291fdac066db525","datavalue":{"value":{"entity-type":"item","numeric-id":4494256,"id":"Q4494256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d6a3765d6c623889c5c07f424b3ef6f6de8473","datavalue":{"value":{"amount":"+0.84109086","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":"Q2709229$D605DD5C-CCF0-40AE-8151-0DBD3E86FDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f565ab8cbae8a761fd00a7ee6faa270c58fa16","datavalue":{"value":{"entity-type":"item","numeric-id":5309412,"id":"Q5309412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e4c61d387d1ee2ec227bf36a162adf929ac673","datavalue":{"value":{"amount":"+0.83975816","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":"Q2709229$D00A56AA-38B4-4D49-96C3-2E13C1019377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded2d6bb2e54f16d6eb85052935f22a3514f6f64","datavalue":{"value":{"entity-type":"item","numeric-id":2871875,"id":"Q2871875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835f527caf1ac94a6e40dd5542f88c0fe732d320","datavalue":{"value":{"amount":"+0.8394702","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":"Q2709229$BBFB6053-4B79-411C-B566-5551F6CF6A44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b0fbb4074b1164a4c194a93cfd04c3837160e2c","datavalue":{"value":{"text":"Towards two-level formal modeling of computer-based systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709229$07814F9B-F2A4-406A-AD7F-AD995BA1888D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709229$ABACC90A-A1F3-41D0-9430-2169A61F926B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards two-level formal modeling of computer-based systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_two-level_formal_modeling_of_computer-based_systems"}}}}}