{"entities":{"Q2870137":{"pageid":2880857,"ns":120,"title":"Item:Q2870137","lastrevid":51906506,"modified":"2026-01-20T12:40:27Z","type":"item","id":"Q2870137","labels":{"en":{"language":"en","value":"Verifying temporal properties in real models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247444"}},"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":"Q2870137$A8D1D28A-0F48-4158-929D-F60F2B747EDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64d19314d83c14e8523cd9e881edf6fc878c78eb","datavalue":{"value":{"text":"Verifying Temporal Properties in Real Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870137$34F4F04B-52F5-4663-9C51-3899020E1665","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cce1cc197031eb6eaa29ab6b63ced422d63b410f","datavalue":{"value":"1406.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870137$20B89A4A-4497-4AC4-951F-943249AAE6FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bd9139fbf9da8971a85c8e686a7f6827a45b902","datavalue":{"value":"10.1007/978-3-642-45221-5_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870137$254BFA68-EAEC-48D6-8821-DC376DB34924","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d26a6d42055360a4e3597c193110b77101cdab25","datavalue":{"value":{"entity-type":"item","numeric-id":518744,"id":"Q518744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870137$D3111C9E-87CE-4D1E-95BC-E6A67531E01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870137$BD1D18D4-EB91-42BC-8A61-EB033042F146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870137$826EE945-2819-470E-A6A2-AEFAA7576E0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870137$5DC2E244-BC57-4261-BE56-9FDE7EF9EC41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870137$52423521-B960-4E06-BD4C-8DF0280B7F03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870137$9BAF3207-FD64-433D-AEC0-81921AE6512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870137$EB2E2AB8-225A-4953-A324-C6317304D7D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7eca3134f1b6062a0ca6e299330abdc38e54644","datavalue":{"value":"6247444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870137$3F2A8BCB-2ED1-4274-9B47-9F7208C81143","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":"Q2870137$D84034AE-4236-47CD-B0A1-0BC0C15366B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82e003f57df1aa0f64dadd3bec075045fdf49351","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870137$61789349-3682-4DDD-BCE3-21E0FBE97376","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb61b521a2417aa2328f37915041757b9c51827b","datavalue":{"value":"W31845540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870137$5FA4CEDF-D4FC-45D6-B7EC-C7FA374226EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630b4af98aad2211a279975c207ec2f0ee35f1bc","datavalue":{"value":{"entity-type":"item","numeric-id":2851939,"id":"Q2851939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07689d96dde501553d1afb2424792e0994e89c8d","datavalue":{"value":{"amount":"+0.8268253207206726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870137$133CB3BE-E421-4BFC-A84B-108E5213CE80","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":"3e20f2200011707c1f464d97b32fe0a70471b7c4","datavalue":{"value":{"amount":"+0.8242397308349609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870137$6772A283-0B47-4A49-B357-A411FB362BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78c517ff4e061979508c5c499f91436710eed15","datavalue":{"value":{"amount":"+0.8197059631347656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870137$DFDFF269-218F-4089-AEF2-599496FD03C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a1f1ebed2f292225aefdf609d28cb245b7e62f","datavalue":{"value":{"amount":"+0.8182771801948547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870137$4F19422B-5FA8-4D31-8321-27E6A666FB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d9215275f05e677b237fd07c6e9df9e234d206","datavalue":{"value":{"amount":"+0.8092985153198242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870137$FB062793-53DC-4327-95F2-5769836F935E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870137"}}}}}