{"entities":{"Q2115898":{"pageid":2126641,"ns":120,"title":"Item:Q2115898","lastrevid":43520957,"modified":"2025-07-30T13:43:30Z","type":"item","id":"Q2115898","labels":{"en":{"language":"en","value":"Towards leveraging domain knowledge in state-based formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495050"}},"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":"Q2115898$4CE7F517-FFC8-4974-9763-C726566111C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d2e7bd3463096f11956f97167f82c52202ccbb1","datavalue":{"value":{"text":"Towards leveraging domain knowledge in state-based formal methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2115898$7C753B3D-A47D-447B-BF23-FDEBE5A4416C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dfd25903fa92c15432c9aac0b95e106a9df1ac5","datavalue":{"value":"10.1007/978-3-030-76020-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115898$102057F0-5CDD-44BC-942F-011B3AC8B890","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85d5e54b3c013ef717f1252d0c179f58721b0467","datavalue":{"value":{"entity-type":"item","numeric-id":1806124,"id":"Q1806124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$0BFD0116-927B-45E2-9F2D-6E772CECC346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b542408604b5f16062158eac443277fd1bd1c55","datavalue":{"value":{"entity-type":"item","numeric-id":736836,"id":"Q736836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$F54989A7-AAA7-406C-8BDD-8FA858B5F974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2ede521f5fce8fa3298f18b62562b18a8ba12d","datavalue":{"value":{"entity-type":"item","numeric-id":674007,"id":"Q674007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$732E90BD-492B-41D7-AD03-1F465EAC8A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e832cb4c1609fb8d331707786b4af1bfd793beb6","datavalue":{"value":{"entity-type":"item","numeric-id":2115897,"id":"Q2115897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$6D30E041-2B0F-41C5-86C4-56475B2FBDFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2115898$8ACD7E06-DEBF-442A-91EF-E0B781D99963","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115898$D45080A2-46D8-41E6-B643-347A1154C37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115898$049D578B-06C9-44CC-B98A-8D1A8217CD89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7574d7f0377a54a3c2a9c3962a7ecc7ad0d3cea8","datavalue":{"value":"7495050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115898$C1EC5D9F-E95B-4C44-AED3-0A85019D3CEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$0EAD8C50-E88C-4BC0-997D-66F9151A0E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$54313EF1-4FD1-4369-A41C-25C641F0221F","rank":"normal"},{"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":"Q2115898$325CD2DB-ECC9-4C84-A126-EB0E940B600B","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":"Q2115898$B512A1C0-8715-4CB5-926A-517ACECCEA45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"183ed219040fe1e1f964e287cdf5ee91a18a07a1","datavalue":{"value":"https://doi.org/10.1007/978-3-030-76020-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2115898$93D724E1-4862-429B-A2C5-CDAEE6BF54AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d94a23668413de570d93b54c6a02e1411241ca28","datavalue":{"value":"W3169053956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115898$EEBC54E4-E671-461C-92D2-EF9735B05E03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$81C0FB22-80A4-4E47-AC17-A606E79E83A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51aed4b9b53b6335afeff3f77cbcda2c61da07e1","datavalue":{"value":{"entity-type":"item","numeric-id":4671215,"id":"Q4671215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$2111D072-FDA1-4BEE-891D-9DF0D9D98B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5681949a2a99220c6fffa4158594b65a5e21c7b","datavalue":{"value":{"entity-type":"item","numeric-id":520235,"id":"Q520235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$B53143DE-1333-44EA-9B2D-9CE46CF2B88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$8CFCEBE4-F840-4490-835E-77875EBD9BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$1F0AAD14-7394-4D7F-A6AD-A98F0A344E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$F66531E6-7547-4100-81D4-CC765366FD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a86c1d7ec8b0d32d04334281c4de7591ea96989a","datavalue":{"value":{"entity-type":"item","numeric-id":5350348,"id":"Q5350348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115898$81EFFEE2-06EA-4B41-8127-B5CA72AE4408","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2115898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2115898"}}}}}