{"entities":{"Q2104496":{"pageid":2115239,"ns":120,"title":"Item:Q2104496","lastrevid":56991771,"modified":"2026-03-25T13:40:18Z","type":"item","id":"Q2104496","labels":{"en":{"language":"en","value":"CTL* model checking for data-aware dynamic systems with arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628180"}},"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":"Q2104496$CD50FFF0-20AE-4CA3-9E01-ED596D06927E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4b46406d611b4b5c4b0efd087321356d1d4eefb","datavalue":{"value":{"text":"CTL* model checking for data-aware dynamic systems with arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104496$95595503-40AB-46C4-B995-4BDA93EB2953","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"328317c5d7f4cfc8b4ba944fbc32e6ea74fbd464","datavalue":{"value":"10.1007/978-3-031-10769-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104496$ED4EE92E-976B-4D5B-BE76-6BF02BC20C23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c33a0c1c63a546b886c299a97fb8cba0ab5909","datavalue":{"value":{"entity-type":"item","numeric-id":2060722,"id":"Q2060722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$A2A09672-37E7-4A06-BD3F-82C2D6C88E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2438f2b6b194cb9371720fd634318f5f271f2f6","datavalue":{"value":{"entity-type":"item","numeric-id":315289,"id":"Q315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$7BC1D17F-E709-4627-A161-16CA3E5FBC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$C28A3F26-2CE8-410C-9C6F-04421E80038D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104496$9B9FD627-B896-41D8-8C6E-34E28BE5D930","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e32ad547bcf5287689bcc94acb94e12252f1989","datavalue":{"value":"https://arxiv.org/abs/2205.08976","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104496$0EB34084-EE95-42A2-A86B-EDD011351A47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104496$4FA212F7-FC1D-490E-BEA8-747A8EA4E67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e74fde32bcecd84e2e29f12e74695feba931e533","datavalue":{"value":"7628180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104496$117FC94B-CA20-4040-ABCA-27176735A80A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104496$29D04367-5BCA-461F-B46A-6CCAECE4278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b056b74f1d39746bc732479c376ab68ebba14d7","datavalue":{"value":"CTL*","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104496$D6CD6EE8-1667-4BD4-B175-D5A5CAC10E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55dab19b9bb952aada92e638990e309d00d300f2","datavalue":{"value":"counter systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104496$522C052F-E139-4D7C-9047-D56798559943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104496$F0A12257-4751-41AF-A372-F59A0F1AA347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104496$50A7A80E-ECD7-4CBA-ADF7-D2AB29F8CD9E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$9AF58955-8C7D-44A6-8B9D-985EAEACDD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$DE02A92B-71E3-4F32-A6F2-1635BDB6383F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fb99985c1975caa9f8b425367205b1e95bb70f1","datavalue":{"value":{"entity-type":"item","numeric-id":15790,"id":"Q15790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$63820F53-48B0-45D5-A3EA-82443323687F","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":"Q2104496$160B0163-D7CB-4CDE-87F4-A8C16BDD0ED6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08871156d61cfe127ecccab4027ea26810b099bc","datavalue":{"value":"W4289104017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104496$AB962DD0-5A3A-487A-82C7-85A1D4B68A41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$50E61E52-4989-4C5D-8F6D-B0D16FC34026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5830036cd1eebf70131e05b80d1e3948c1709aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3617767,"id":"Q3617767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$ABEFA45D-95E9-43FF-ABCF-9F27E3A3D953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30f84725f6251bb42b22c0899c4da6b339823e1","datavalue":{"value":{"entity-type":"item","numeric-id":5387893,"id":"Q5387893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$98AB99C5-1E36-4B4F-8913-C902A560DCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c955681da2018080e848def27f6c4a71b961a7","datavalue":{"value":{"entity-type":"item","numeric-id":2435309,"id":"Q2435309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$C49DE434-5531-4EBA-9287-8D262BC68D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307170eb147cd97a2f90e9938a0a1cae6f1cfddd","datavalue":{"value":{"entity-type":"item","numeric-id":1706163,"id":"Q1706163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$72F90F9D-6AD2-4B48-94B4-853A9327CB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e165a7a6477842c9b94e220ef5deb70f36c84a8","datavalue":{"value":{"entity-type":"item","numeric-id":269503,"id":"Q269503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$DB1686E6-90C4-4827-8384-1CA16A7B2CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d311469a36c527273031e73f990f801dced9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4632414,"id":"Q4632414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$AB1BE13E-5720-419B-AA5B-D381D095F4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1286789682a4258cb5fc71c14511307773576c50","datavalue":{"value":{"entity-type":"item","numeric-id":2503321,"id":"Q2503321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$7E248583-73DB-401F-8567-3493C48D32F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28190807d4f67f42dc6e0fa9df1a39ff89b28a6","datavalue":{"value":{"entity-type":"item","numeric-id":2636509,"id":"Q2636509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$5B56840C-2D2B-49C3-B38D-C0B4F7A403C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$D68811E2-32BF-46FB-9A7F-30E6AD8EA817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8c68f6ccbf13c46f9f52bbeb1df847a2fc02ca","datavalue":{"value":{"entity-type":"item","numeric-id":2901199,"id":"Q2901199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$25FFEA78-27A1-4AB1-9125-8E65C2414B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9688b3c493712ae528b93ab8b3c189e13a28b9f7","datavalue":{"value":{"entity-type":"item","numeric-id":959820,"id":"Q959820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$5A7687E1-C662-4E34-9250-4ED08494CC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"861880dcb3ea3ac90159fd5b0ddd6b46d99cccdd","datavalue":{"value":{"entity-type":"item","numeric-id":5025032,"id":"Q5025032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$27AFFB09-01BE-4877-905D-6F859B1E8A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$31579E14-5C34-4711-9B1F-C6AB9C2FF6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$34842110-5904-4498-9B05-8A1D9E0783E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88ddfea9e9c1fa373414687024f026b9d8bafcc","datavalue":{"value":{"entity-type":"item","numeric-id":5179062,"id":"Q5179062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$868EDE2B-0628-422F-BF5C-2BA49EC8CAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a470b378741f28bdecd3dba78fc1f965ca175562","datavalue":{"value":{"entity-type":"item","numeric-id":3608784,"id":"Q3608784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$F39B2841-BAD9-4899-AC61-9A97ADAF41BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f9808bd78955f8e4b247b4fbae29463a990603","datavalue":{"value":{"entity-type":"item","numeric-id":5458397,"id":"Q5458397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$9AC85C72-FC80-4E26-8C6C-5572731CEFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5307ebfdbe793a8a3a5df1c2b4bbb33d6689121","datavalue":{"value":{"entity-type":"item","numeric-id":4941150,"id":"Q4941150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$0DDDBAFA-145B-44B3-8080-7C7873158140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e8a7ceadea13b8b87c2f89d6c345f3977ae25","datavalue":{"value":{"entity-type":"item","numeric-id":2396822,"id":"Q2396822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$0492DB36-A2E9-437B-8F7E-BE6DC475A7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702865848cb15e407debca29db0e1f097f9b86e4","datavalue":{"value":{"entity-type":"item","numeric-id":518892,"id":"Q518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$6CB512AE-1F3F-448E-A71B-FFED45B203F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f80a671dd0dc173d06d961a91e05ab51aed9b7","datavalue":{"value":{"entity-type":"item","numeric-id":272169,"id":"Q272169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$A69F3D98-A377-43FC-AFEE-662DAF4DF4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cd986cbf6a3de9f252c96049fd536790f56d50","datavalue":{"value":{"entity-type":"item","numeric-id":2968527,"id":"Q2968527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$F9BC0438-A97E-481A-B772-EE61A2878831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$911C8311-B7EF-49EE-879F-0E9E60581A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12157adbd99e3bcd460b144a134f949545ba919f","datavalue":{"value":{"entity-type":"item","numeric-id":2285155,"id":"Q2285155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$6B049526-A2BD-46FA-A0E5-563D41AFEE6E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104496$D4985633-50C1-41EA-A061-4DC26964C49D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104496"}}}}}