{"entities":{"Q2096466":{"pageid":2107209,"ns":120,"title":"Item:Q2096466","lastrevid":43513165,"modified":"2025-07-30T11:23:29Z","type":"item","id":"Q2096466","labels":{"en":{"language":"en","value":"A formally verified, optimized monitor for metric first-order dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614527"}},"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":"Q2096466$1BF8C065-650D-4B53-91DD-5FFA520D3A2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab8f181b19a91d9dfc3cbe64b5b48b45454c6778","datavalue":{"value":{"text":"A formally verified, optimized monitor for metric first-order dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096466$779FA61F-EFC9-43AF-A502-006527D8CE48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bc9695023c6c9e29b962d9550b393b65a888fd7","datavalue":{"value":"10.1007/978-3-030-51074-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096466$096590DA-3AA1-42AE-8717-598268171058","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c483276a8b1592cbc263cf569bd04228acb6648d","datavalue":{"value":{"entity-type":"item","numeric-id":2096463,"id":"Q2096463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$9AE8F679-894B-4325-90A8-02BD7FCD0CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca1d91653713a0097ecc9dfd612fcbfba48bc12f","datavalue":{"value":{"entity-type":"item","numeric-id":2096464,"id":"Q2096464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$D92E3EAE-E4E2-4D76-B189-AB57DD9B58E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1844a0279eb1635d4c321f766c80bc716d34157b","datavalue":{"value":{"entity-type":"item","numeric-id":2008286,"id":"Q2008286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$977F56B3-F59B-4D52-BF23-FBE4D79F77C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7804736ab920c95bce8d62233dc0c2148a45c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2096465,"id":"Q2096465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$4366DD2F-108A-40C3-BDC7-04F8369834DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3965063c420dc0ac3666e10122851aa247fe45c","datavalue":{"value":{"entity-type":"item","numeric-id":1637552,"id":"Q1637552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$65612748-E551-4EC2-B51D-6BFC18EAFF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$41BA033A-03DE-43E7-BF47-B01E30802BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$8F33DFD9-0020-4D0D-B09B-C776467F6EAA","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":"Q2096466$FA04992E-2C86-4F1D-BB2F-3CF168AEB0DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096466$D8A85D64-8BD1-4054-856F-96CE3D7896F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e7abddb6d426ffd22fd07ad6b2c69a93a2d1e3f","datavalue":{"value":"7614527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096466$8F81B1D7-0DBC-4B0E-BEA8-15438F296FAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$AB8752CE-BB9B-4052-AED8-C0CF4AA17776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8bcb656a5c41032de9aff1f1735a8c0efcf6476","datavalue":{"value":{"entity-type":"item","numeric-id":54933,"id":"Q54933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$44A509D1-F0E7-4245-95FA-00C599FC0166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5af7fff8c85263335ec54ad80b7081bfd6587dd","datavalue":{"value":{"entity-type":"item","numeric-id":35705,"id":"Q35705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$028F9D0D-2B2D-4E1B-B324-981F38E8DCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aeb838ca8d52402afa429dacff05b4100af4cd","datavalue":{"value":{"entity-type":"item","numeric-id":53722,"id":"Q53722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$0AE3F06D-4E5F-42D7-98C9-BF7792A88D31","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":"Q2096466$95B0B443-C0F0-42E2-BFC4-0F89465A221A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdb0b8358b6a5fa9ce0cbafa60de7b67c430f56b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096466$DB585661-CA96-4490-9B37-D6476FC4C396","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75d9092e19442256de3bc57d0513687fce42cd91","datavalue":{"value":"W3039218154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096466$233623A3-7F05-4964-BBE2-12ABC5D6B904","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f4c1d1064313165362f5cb30a10224b2e3cc1f","datavalue":{"value":{"entity-type":"item","numeric-id":2802466,"id":"Q2802466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$8B4ED272-AFD6-41EB-9814-C091BB042C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$0A63E346-0553-414B-B238-1DC0503A8C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5e7ba960ad3d2f37b1d49078179f4e830d1428","datavalue":{"value":{"entity-type":"item","numeric-id":4647831,"id":"Q4647831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$1C7CB0E6-69BA-49EF-A669-497567C2FF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2949f2b7587abc2a484e370fdf3075b89d5e2f50","datavalue":{"value":{"entity-type":"item","numeric-id":888414,"id":"Q888414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$496DB270-E395-4582-AD8F-BEE17C32C60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$67CF1C3C-6F96-4519-9A6E-981E34C8F5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd52dbd2ba14f56ccd4994ca0ad7105d3b30c1b","datavalue":{"value":{"entity-type":"item","numeric-id":477620,"id":"Q477620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$36E5E696-7F5B-4B4F-BAA8-D34D810C4BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabfffe78bb56bce00083fe0fdc19771e8e755af","datavalue":{"value":{"entity-type":"item","numeric-id":2008287,"id":"Q2008287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$9CC94871-25D1-4152-80CB-B9A590F1DF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7340f1408aff298b495bedcc32f7b29b5b80af8","datavalue":{"value":{"entity-type":"item","numeric-id":888417,"id":"Q888417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$FCB938F1-88D0-4D29-9E18-45AC3648B881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e03483d1aa3a349d03c5bc5393c83c0a39381182","datavalue":{"value":{"entity-type":"item","numeric-id":4640349,"id":"Q4640349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$EE45CDE2-51B5-4466-9E94-2A282513317E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817afdfd173cc5f88e9e909424a2e4ebfd0bee2a","datavalue":{"value":{"entity-type":"item","numeric-id":1791148,"id":"Q1791148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$809EA770-5102-48F2-97D8-9A952B61A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$9C3E0604-5ED5-42D7-BAB7-E0745BE5272E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1ee3cfb5e4dcf1192b00f296cd250563a0e681","datavalue":{"value":{"entity-type":"item","numeric-id":5883570,"id":"Q5883570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$885EB49D-22A4-4389-900D-A353E1940E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36919fe60b6cd72a4fffe4adeb8fc314f00cf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$3EFFE11C-3A10-44E2-A5E9-497C7465D211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bf0527cae45caf1270972ff5ead3c89685a7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5875431,"id":"Q5875431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$8B09AE47-D1AB-4140-A0A0-FEFC4408D788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12145c5e201ee3f7759ed285759c2b5f5112ba5a","datavalue":{"value":{"entity-type":"item","numeric-id":1739909,"id":"Q1739909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$4E510883-7D8B-4E5E-B36E-3F223EE487A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a1ce015f9a6115f5e15ce96a4b6a73ac4d89f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$F3BDB705-8645-4782-8775-00B3049E8221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ed88d611b51da646bb2fc8559d85d64de3b3bf","datavalue":{"value":{"entity-type":"item","numeric-id":5255077,"id":"Q5255077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$124A1176-9C69-4BB4-8185-BB5055B98961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016a601abae689f4b07b54d96bdf8c9c703b4d29","datavalue":{"value":{"entity-type":"item","numeric-id":681465,"id":"Q681465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$06FD66DC-BAB9-485E-AEC9-E4F3AE1C020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8696d854dacc72bb15643e11fea673d27e09b13e","datavalue":{"value":{"entity-type":"item","numeric-id":4561503,"id":"Q4561503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$E008AB3A-F36B-49AE-B955-E06E67AB1D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02483a0433a505ad6f9a5a21bd8aa04486787c8e","datavalue":{"value":{"entity-type":"item","numeric-id":3297591,"id":"Q3297591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096466$3632253C-36B5-46A3-B641-1BC5F93A7131","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096466"}}}}}