{"entities":{"Q5047155":{"pageid":7076732,"ns":120,"title":"Item:Q5047155","lastrevid":54438728,"modified":"2026-01-26T19:56:46Z","type":"item","id":"Q5047155","labels":{"en":{"language":"en","value":"Unifying models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614452"}},"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":"Q5047155$3AF10C60-E658-4381-941E-4B2862768672","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5ff67d5049343a82acf54acde2fed8b511c36cc","datavalue":{"value":{"text":"Unifying models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5047155$B129C75F-6974-4D36-B34A-866195075B74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"587deecc3393d0d8cf51e67a1fc469d6799f46df","datavalue":{"value":"1498.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047155$07429295-AE09-4817-ACE4-B9255FA0BB09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$10F8F773-DFAD-436A-B951-4FC7A9084947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$093992E6-FD26-4EE0-8111-D9ED1663ECC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5047155$50279D91-8D93-4CC3-BC00-A62720A520E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047155$67465A06-F49D-4E83-B3CF-2677DB478E6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41d8cac0f393573640723dea68bf58bd39823761","datavalue":{"value":"7614452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047155$5BB35EF2-B038-4CB2-82E0-EEE05C26503B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$76593415-DEA5-4CB7-9D9C-CA2FC3EE8F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5169825cb72c86adbcfdd07cb92d9942de0546","datavalue":{"value":"architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$0B96FBC4-546D-47D6-97F7-578BA7E6728F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b48541c376a4f691e3a9309535760ea215d320d","datavalue":{"value":"behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$5E7C8EC7-B7C0-409C-ACB2-2604A244D82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$F091EC7F-3193-40D1-948F-ADAED0F5FC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$A7EC455E-2901-497F-83CE-4E856711679A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$E75076E3-3F0C-457C-B581-46F4AD561C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$4055F101-2C97-446B-A68F-E1988E79079F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40b16c33a7e1c585ee57956e6e5cc9697019160","datavalue":{"value":"temporal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$7CE867BF-2811-4D09-8306-26DB209C84DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$1E3AF6DD-8C5A-4F05-8172-265E31570B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a432e3f8a7fa9dac00066beeef16fff3d05e246","datavalue":{"value":"intermediate language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$382BDCAB-3279-49CF-AB95-9846644BE967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$EEDED462-79CE-457B-AEED-094ADF48F0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$77D781E2-5651-42E9-881B-456B2C25971C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$DEFA166E-D222-42E4-AB4A-09EB51600B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$76EAD63C-9026-4413-95C4-61723FE4D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047155$A8A4FA4F-A250-4014-9FFC-63A1626C3D17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$E4D07A5A-EB1A-4FDE-BA06-62C61590E568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$109C8D51-3226-4B72-BD88-2E065054729F","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":"Q5047155$AE4656C7-D2F0-4D88-B32D-5C18B1C3DA5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"719939663bd4dcde00c7744de12526d260454abe","datavalue":{"value":"https://doi.org/10.1007/bfb0023444","type":"string"},"datatype":"url"},"type":"statement","id":"Q5047155$EA9BDB4C-6A2C-4E87-870C-4E0DF35C10B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49b153d78beaa5b7a17e359260aed18a7127f90f","datavalue":{"value":"W2914126157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047155$1478D933-6849-4B7F-9792-AC27D3014582","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d9176063836123962ed6f6205226c62738a8a9","datavalue":{"value":{"entity-type":"item","numeric-id":749198,"id":"Q749198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$18B6DB5D-45EC-4DC2-AA15-C15DEADE05F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$05367F7B-B8B2-441C-AEBB-E55EB154190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$C5A0A998-CA1A-4EFF-8E47-94D4B728CCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$9BAE2536-1F9F-4EAA-923E-BC961D4303D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f498f2c3a8be7b2ce1b389b10bfbcdae415659d","datavalue":{"value":{"entity-type":"item","numeric-id":2914641,"id":"Q2914641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$55A788EF-8DD7-4DD7-BBEC-D637FFCEE182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$E6E64DB3-C086-40F6-8F4C-C78A9A9C93E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e0bfbd7e8ce7f5b89d10be4ea3c5fe4ffddf5","datavalue":{"value":{"entity-type":"item","numeric-id":3673090,"id":"Q3673090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$DC6BA2FF-3B10-4967-BD7A-658CB8F21762","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":"Q5047155$76208D03-AC6C-4605-97C6-81EE72742224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f05d370e742db25d8daf3b0874c29af265906af6","datavalue":{"value":{"entity-type":"item","numeric-id":4023578,"id":"Q4023578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$094EED57-464B-4CDB-B0F2-0A67ECA0DB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$28179B5F-A938-4CE2-B97E-D6B57CCFB134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$1397BD55-1233-4A1F-BCA8-0222158A8079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$F54751EA-8F20-46A9-BD14-1674CB9E1E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad29f563b5ee5d553bc359eb4b2250c25b7ef63","datavalue":{"value":{"entity-type":"item","numeric-id":5096226,"id":"Q5096226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$66A4AFE9-1B63-48E3-9B94-F83F522B7765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae86f7f9a887a687514e908a95983eb040c75aa9","datavalue":{"value":{"entity-type":"item","numeric-id":1330457,"id":"Q1330457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$5AF7F039-4F9F-4DD2-994C-4BA1D66BBC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$CBF8F3DA-8A81-4587-9067-3E285FF4EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$B6FD0688-FDDE-4223-9A6C-5E932C14E939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047155$249AFF90-A234-49CF-AAFC-13A2A578E694","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76b1aed433eb99857c17aa079bbddba483c8d5dd","datavalue":{"value":"10.1007/BFB0023444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047155$F9CA78B7-FBF5-4CD6-AC6D-A40A36DA50A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afab1bc425cfc28a26e42aa1ccdef5e23a0954c7","datavalue":{"value":{"entity-type":"item","numeric-id":3608897,"id":"Q3608897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b084adf56abd6b9641eb2bd29f28c017de4848c","datavalue":{"value":{"amount":"+0.7202133536338806","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":"Q5047155$17A2196E-60F5-4421-8051-9CFEDAC87389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d3b67c3ca930ac2ddc8382fbe7789f84222dde8","datavalue":{"value":{"entity-type":"item","numeric-id":2906940,"id":"Q2906940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c9f036bd05cf20683f15edc830fc86d288c218","datavalue":{"value":{"amount":"+0.7021704316139221","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":"Q5047155$3117396D-D5E9-4008-9A23-5BF68FF0C6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c0f7b41c6a7b65d091de193f68d16b18d4c2c5","datavalue":{"value":{"entity-type":"item","numeric-id":1772776,"id":"Q1772776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2220b1c728b7d87d6c146f72aa2721a8a03bf94b","datavalue":{"value":{"amount":"+0.7009764313697815","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":"Q5047155$21CD5CB4-C4CA-4B15-A9E7-51C2B8255684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c902d71c1f5efcac38530fb69f536a56764d69","datavalue":{"value":{"entity-type":"item","numeric-id":3654541,"id":"Q3654541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a250d43efeb6dd01efdc57662a0f449188aaac8a","datavalue":{"value":{"amount":"+0.6968669891357422","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":"Q5047155$8B5AEFE6-07F7-4494-BDA0-91775AAC4175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a6f5433f67208bbb49634a5986a8e43eb2a709","datavalue":{"value":{"entity-type":"item","numeric-id":4923510,"id":"Q4923510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f867680bf00f4cf4688b4711a04eea83626bb7","datavalue":{"value":{"amount":"+0.6947386860847473","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":"Q5047155$9245AAD6-DB35-4F7E-A46B-628E6FBBA68A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5047155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5047155"}}}}}