{"entities":{"Q3522919":{"pageid":5552823,"ns":120,"title":"Item:Q3522919","lastrevid":49013992,"modified":"2026-01-06T11:44:47Z","type":"item","id":"Q3522919","labels":{"en":{"language":"en","value":"Timed Temporal Logics for Abstracting Transient States"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321071"}},"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":"Q3522919$6A041A45-0A5D-4A83-8F92-48C9DA6BD34A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f6f8fa9364d95eb1c88116859a7917d8f7f0be7","datavalue":{"value":{"text":"Timed Temporal Logics for Abstracting Transient States","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522919$88EA3829-68B0-4FB1-8DF9-474125F4E9FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00fb68c979449578df154cc04a8d0299e3e80c39","datavalue":{"value":"1161.68576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522919$28566F03-0395-43BA-97A0-0B2F03019777","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"391226830f52e832258ebac6a1ffc6e3d964b062","datavalue":{"value":"10.1007/11901914_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522919$5C0658B8-7E77-447F-9845-D95CE8BF28AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7221917ae2b987f169043143629b151d339f8000","datavalue":{"value":{"entity-type":"item","numeric-id":3408389,"id":"Q3408389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522919$527385A8-4943-45FA-9901-08FAA2784A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522919$ACD1A31D-C91E-4B4D-9231-F4D9CB93F964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522919$139D206B-7E68-492C-85A2-16034F4ACC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522919$DDB89643-D623-4874-95CA-B261D3B79C2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522919$493D83F3-4080-4934-A3BC-7315C38D5859","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522919$A5B0A8DA-0BAA-4950-BD5C-6DD494F6E1E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be1163e015e44ffc7898ff84ac41bfe90f80844c","datavalue":{"value":"https://basepub.dauphine.fr/handle/123456789/5083","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522919$37BD52D8-01B4-41E5-8F23-AAF7044029E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522919$B8717769-0F0D-4B1F-985D-3C2A3F1C3D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522919$80A44035-6819-4172-B91F-8BC6B1ED3B35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea6603c81d48980a1e4e796ed31a66fa14de0a7e","datavalue":{"value":"5321071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522919$D346FD1F-8DFA-43F7-A78F-74F2B9D38F15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522919$A254AC79-71C6-4B6C-A92A-F69CF436CC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522919$6D7F763F-7746-49E0-BCEC-15EE54851B69","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":"Q3522919$27517B4E-A4AB-4512-AAE1-FF0AA76F995F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c26b112de62e290d0de2d498e58e7ea993782996","datavalue":{"value":"W2128993334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522919$8C8179C0-D252-413A-8A7E-D4718E1258DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bc9d9175fbf28d7388ef802d90c5e0a8ae9755","datavalue":{"value":{"entity-type":"item","numeric-id":5394613,"id":"Q5394613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0159a1eb3e5e1c992cd310ff52aed19888314ebe","datavalue":{"value":{"amount":"+0.939098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3522919$0DB1C2AB-6981-465A-988E-6C2F55A11DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2782ca6af719f90715187e70afe4c9afb53ea26","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5e7bfc24b3f1eee3ebb83ecf99acdf9d95ea25","datavalue":{"value":{"amount":"+0.9225204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3522919$23DBDF3E-B4FB-4DAF-B99E-ABF32419D407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856f38e512bba4d110b67502666f5e31f4f35ba9","datavalue":{"value":{"amount":"+0.9203166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3522919$6A981228-CA42-4303-AEBF-D250B918D498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7603c4274ba6e2b59c8d21c6e07634f2c3d53b","datavalue":{"value":{"entity-type":"item","numeric-id":3384894,"id":"Q3384894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e554a1043bb879a52fa99c819891e17977a086b8","datavalue":{"value":{"amount":"+0.9071996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3522919$E3A622F9-9D89-474D-ACFE-A0855EAAB5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5114b18be2e34a54848ca96aabb0163907063251","datavalue":{"value":{"entity-type":"item","numeric-id":3511218,"id":"Q3511218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c72d8cb398e0643dc7e6591e355777535c1c87","datavalue":{"value":{"amount":"+0.90556437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3522919$06FD60C9-F81A-4DDD-96F7-10AF4335AAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e20030e1e2604b48f6f0c042c9b004e04d7467","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83bc389112e1c405479da5dd0f3802c4bcadbd9","datavalue":{"value":{"amount":"+0.8996705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3522919$5ADDF82B-74C8-4C09-A6DD-86226C097C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2751c465e732a2a675b1fd171d0b91529c833fb6","datavalue":{"value":{"amount":"+0.8985109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3522919$1DC7CC67-DE2F-46F3-9241-ED6EA116F7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e6d4e44ba245e982abe2e20cb944b93bdb30dc","datavalue":{"value":{"amount":"+0.8968576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3522919$B2094FB8-EA66-4BE9-A624-3558C6B74428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a4eede209a58d01f1f661ad4dc08965f78cba5","datavalue":{"value":{"entity-type":"item","numeric-id":4733376,"id":"Q4733376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748753bd8e3c0899ed14a42d3faa8855ad4e454c","datavalue":{"value":{"amount":"+0.89512914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3522919$323B3624-2260-4147-9F6D-C1C05E4A9275","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522919","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522919"}}}}}