{"entities":{"Q3637350":{"pageid":5667256,"ns":120,"title":"Item:Q3637350","lastrevid":50704988,"modified":"2026-01-14T21:05:16Z","type":"item","id":"Q3637350","labels":{"en":{"language":"en","value":"TAGED Approximations for Temporal Properties Model-Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5577059"}},"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":"Q3637350$A33FC25F-012A-40A0-9ACE-1497A16B16F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"435458bb869a4b7042b09290be1c617d45ba84fd","datavalue":{"value":{"text":"TAGED Approximations for Temporal Properties Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637350$3E93DDF2-1D1F-4043-A6C3-1F51E4145778","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04c709d450da9a769e9542662c07ab924e8e11f1","datavalue":{"value":"1248.68323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637350$CDC8E24A-310C-483A-B23B-9035C5E6ADDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8a3c77e829c55852c05985e884b073f403fb01b","datavalue":{"value":"10.1007/978-3-642-02979-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637350$F8EFDA1E-7C9E-4748-848B-0017529149EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ce8e350636a75f1da02e8ccdbf246aa63c5fa86","datavalue":{"value":{"entity-type":"item","numeric-id":2894571,"id":"Q2894571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$4E31A483-9157-4066-A31A-AE414F709C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28ad9b4a7f5de9582a5c2b602f54e86b0569ebf","datavalue":{"value":{"entity-type":"item","numeric-id":442145,"id":"Q442145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$12B5F85E-63D3-4259-BE74-A895D8548E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0452d00e02db17d83907d40dea3913224ed5f7","datavalue":{"value":{"entity-type":"item","numeric-id":442147,"id":"Q442147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$C20AC796-FB5A-4057-9BE9-D726DEE601AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$603D3DB8-68A5-4B66-8022-C9B5222BD310","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-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":"Q3637350$9C6A5F84-C141-4C84-A8EF-E41848249FD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637350$A88B0BA4-075B-4E08-82A2-696C0F3FEBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637350$B7B2320D-9BFC-4825-8DA9-7FAB1724958A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637350$3CA4A02F-AC87-467D-BFD5-996D73EE4532","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"124f8a07bb24fecac42035dd816439125d5c72e5","datavalue":{"value":"5577059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637350$516F841F-3FDB-4BC2-A85B-8B8274C0E673","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$9DE4A8B5-D620-4051-B70E-677BD7DE262D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$17EFC355-C03A-45FE-8A2C-8A1CF1BA71D7","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":"Q3637350$491CCD14-0E19-4687-B4E2-56B8A3A3F7F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"848be3a1b6d0b8d2c89de6ad8cfe801423ef7ed2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02979-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637350$9AE91467-15E3-478D-AFAB-C8E2C3983776","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b5d574f50b2f3f04365499fec25f3006321463b","datavalue":{"value":"W1551595134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637350$46B09C35-347F-414B-86CF-8E1B742C3309","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb5c4b219d3464f67abe03bacbab2bc7d5d21ca","datavalue":{"value":{"entity-type":"item","numeric-id":5188173,"id":"Q5188173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$11E5DF34-40CF-4CBF-8963-877117FB2A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$FED2D5FE-F28B-440D-A426-166F8FE1E3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9d4f96d0f4435466b3844f00bd402021b0978c","datavalue":{"value":{"entity-type":"item","numeric-id":5505416,"id":"Q5505416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$9DEE2ECC-4B06-4D05-9331-B5F72CE48134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703bac26195b5e026d8c5a3ae4ad23d7cb2dac65","datavalue":{"value":{"entity-type":"item","numeric-id":3522008,"id":"Q3522008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$0B1F5077-F7BB-4CAE-AC42-C4282B1A68A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa695c97b01f88cecb4b218e904ed58f03b6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5432332,"id":"Q5432332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$63C6FA94-9C5A-45F3-940D-C70910CC0DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d69245955f7d18c3537f1db6394aab043062d7b","datavalue":{"value":{"entity-type":"item","numeric-id":3181700,"id":"Q3181700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$84545CFC-50CB-4625-9524-A76F32BE8BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$98665B1C-96FE-406D-B169-0D511AA450AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fc44f926852741b8eb9b59cd4df9d83fae6ccb","datavalue":{"value":{"entity-type":"item","numeric-id":1770429,"id":"Q1770429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$0148B54A-E5B2-408A-97AB-B37030C12EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0747fee7ce0d75558ff92f6c2b216b460047743","datavalue":{"value":{"entity-type":"item","numeric-id":1911400,"id":"Q1911400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$218DC24B-84FE-452E-81B6-48FFA191C481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$33C179F5-10A6-47F2-9C9B-327624AD33A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c884171bba72c2b3f8a55330fd6748a3e548c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5432339,"id":"Q5432339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$7B0E2177-13E7-4F18-8C54-869AD2EDA2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5183640ea17aee4713be4cc41f7f144d515a51a","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$A0909E14-12DD-4B35-B84F-4CF1194E97F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da34df88fbfb16c2f1d471da720fbe048995e21c","datavalue":{"value":{"entity-type":"item","numeric-id":3533021,"id":"Q3533021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$426A2F40-49EE-4880-9CF5-8D0AB7C19671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$A11272AE-6B38-4202-BD4D-C04CA755E3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37dfc15837f84de69d2923418bbe22eb2d64a913","datavalue":{"value":{"entity-type":"item","numeric-id":4847003,"id":"Q4847003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$1EE1DF5B-819D-4EB5-8D40-B3DFE9DC582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15950715c4c719da3ab3ac53f61d38e4d10faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1127543,"id":"Q1127543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$B7674E73-FC37-406B-B29C-A50A3C672A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efce9ee0c81337fbf2e90bc8a33b67df8fc2297","datavalue":{"value":{"entity-type":"item","numeric-id":3613434,"id":"Q3613434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$7429DAC1-E959-4DDE-BB89-F4AED54CA7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce840cd834de529149653b035fd7dcad0a193ea5","datavalue":{"value":{"entity-type":"item","numeric-id":5428866,"id":"Q5428866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$09E8A5DC-5CE3-41B5-A88C-287AA14764B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$5CDD41F2-8526-4805-9006-3AEC00D15E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$E10428D6-757C-48F7-A4E8-D0E292D2081A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab673f4e1c1b60b2fc4458be2cef3d08cfda647","datavalue":{"value":{"entity-type":"item","numeric-id":3507374,"id":"Q3507374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$E55F992D-B27E-4526-A373-1A26070CA03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024436ce79d78900d887501762f1523e2832f46","datavalue":{"value":{"entity-type":"item","numeric-id":5466544,"id":"Q5466544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$2F6F2401-2229-4BA8-A0EE-471063EDAFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637350$98E838F1-2813-443A-992F-1AD19284F6F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df5d9038826a85dd1c272be070274f7b3c8e303","datavalue":{"value":{"amount":"+0.7508888840675354","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":"Q3637350$35A0DCB3-95AD-4515-AB6B-623341443B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780549fdf9d02a1bd45c1951154a81aa837439e9","datavalue":{"value":{"entity-type":"item","numeric-id":2908502,"id":"Q2908502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d29b97ffc93d8687ae8ecf3a94832eed3c1aa48","datavalue":{"value":{"amount":"+0.7479023337364197","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":"Q3637350$3459F583-5F1D-47B1-AE8A-6269BC1B0C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d456a2944bc04dc08cd8e3411e04f104fad8cb6","datavalue":{"value":{"entity-type":"item","numeric-id":968530,"id":"Q968530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b0cbd4b52d0b90f71e4c202cf07ef4cf19068a","datavalue":{"value":{"amount":"+0.7440968751907349","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":"Q3637350$379B80CA-383B-410E-B2C1-6C26D246346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972b93688594e63d2fd2616e48bc403923002497","datavalue":{"value":{"entity-type":"item","numeric-id":3181700,"id":"Q3181700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5cae935e02a47bbe7697d2ffc54259f32f6477","datavalue":{"value":{"amount":"+0.742861807346344","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":"Q3637350$E43BFB69-7458-4C5D-96EF-26F878283E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a27762a689a251c5c58156378dfbee29fb44685","datavalue":{"value":{"entity-type":"item","numeric-id":2914722,"id":"Q2914722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ed1805aa09cb5f623a2b6a2b656c917cd2e5f9","datavalue":{"value":{"amount":"+0.742772102355957","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":"Q3637350$499E43F6-AF9D-4EE5-9EAC-8A8D8C8370D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637350"}}}}}