{"entities":{"Q2237342":{"pageid":2248085,"ns":120,"title":"Item:Q2237342","lastrevid":43739478,"modified":"2025-11-11T16:15:00Z","type":"item","id":"Q2237342","labels":{"en":{"language":"en","value":"Institution-based encoding and verification of simple UML state machines in CASL/SPASS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7415136"}},"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":"Q2237342$87F320C1-FE4B-4E5B-BD1B-A129C4040C60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a0c42a3f7ef0ac5aaacf8badf20066a2eefce3f","datavalue":{"value":{"text":"Institution-based encoding and verification of simple UML state machines in CASL/SPASS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2237342$902BAF4D-6185-461B-9744-8136719A6FA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ede740f931e0bc4af076c8a2c0af551d4de83a7a","datavalue":{"value":"10.1007/978-3-030-73785-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237342$C4E20214-F8C8-4A83-B14C-4942697BEB32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aeed8dae90a13bfd730395ee03dac337f170b9d8","datavalue":{"value":{"entity-type":"item","numeric-id":2237341,"id":"Q2237341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$CFE4E7D1-2679-4CFD-B065-DB1EC54D7EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$337DABCE-C780-477A-9C95-377DCAAEC6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"519ad9f067471b3d8d1165b5f69564a4f99de0bb","datavalue":{"value":{"entity-type":"item","numeric-id":777874,"id":"Q777874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$C531E985-D2F2-44EA-B90B-B554AD0A40F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f61f9cb4afb1dbe639f74b5529d2947c5bac5f81","datavalue":{"value":{"entity-type":"item","numeric-id":293332,"id":"Q293332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$12E8530B-84DB-4793-BCE1-B724298DA0BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8b86c03faa759ce1c86852416c5f440b0ce79a0","datavalue":{"value":{"time":"+2021-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2237342$DC2FEA85-3E33-49C9-9166-7DD4173296D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c666bd3c79c049feb9e042b0e8719d3e6d16c675","datavalue":{"value":"https://arxiv.org/abs/2011.00556","type":"string"},"datatype":"url"},"type":"statement","id":"Q2237342$F6070621-3FA6-47AA-AAE6-6B157A30EAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcef53b97e0b5e5b4cac46d7637d4b13754eadbc","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa55328/Download/55328__18320__6223eb064ac643e5830e429f1a7be223.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2237342$3804912D-0CF6-408A-8307-9C04D8DE4306","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237342$95358951-BC5A-4E9D-9AFF-EC7DA2884452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6382b7ef7a35951cac8d17a398978d01f2443c00","datavalue":{"value":"7415136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237342$10DAE18E-0F20-41DE-A693-E78766735DB7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$E8C7AC1F-F07D-42BC-9AAF-30E5048E7303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$9C75D218-95A8-47D3-A7D0-00544FA701D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$D9EB6D70-B912-40C5-8E54-8129A27FD553","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":"Q2237342$5B312A70-B59A-474C-9264-31DC11F54E65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97a71c54dc88515cf0b579d7423307425be53126","datavalue":{"value":"W3094924270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237342$D7D1677B-5602-4FEC-A825-0B52520B6749","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$140CCB7D-99BF-45A7-B735-E0CC7164D662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af037f9dccadaed76e12006e3f6dc4edb90df42","datavalue":{"value":{"entity-type":"item","numeric-id":5741578,"id":"Q5741578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$731CBB0D-518C-42CA-BD60-03278B4ACC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$F50DF680-75E4-458A-A563-6DC4675D08F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caef437cc4413750600c0d72598a86bacda3cbb1","datavalue":{"value":{"entity-type":"item","numeric-id":6091319,"id":"Q6091319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$81BC3CD6-9AAA-4D8C-AFBD-512E2F4B6FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc459922b6b28a27d781669d84ed95d5e384a80","datavalue":{"value":{"entity-type":"item","numeric-id":2848883,"id":"Q2848883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$FEA74363-C225-4545-9C1E-4FA0AF700B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa2dc25f017a0d2fbcb3c495e4afd08eaccd9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4580211,"id":"Q4580211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$F0B0C2A2-4067-4583-A1B6-41FBEFBCD4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bb0493fe20b6a8798f1d57a345a1128bca6952","datavalue":{"value":{"entity-type":"item","numeric-id":5256350,"id":"Q5256350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$86FFBBFF-F9D3-4071-9C46-562553089E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b677760b11539650c1f09443f483481cdc97a3","datavalue":{"value":{"entity-type":"item","numeric-id":3179414,"id":"Q3179414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$760670CE-B90F-4F7E-974C-5F84E2BAB4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eedd2defa322689670ffba56a5755fdfcf124e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853458,"id":"Q1853458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$498DC1E3-AA25-4A83-8870-F1C3B7D8C3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237342$D3D25AA5-5A08-4FAF-97D8-DC302DE34E79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2237342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2237342"}}}}}