{"entities":{"Q2228435":{"pageid":2239178,"ns":120,"title":"Item:Q2228435","lastrevid":82672649,"modified":"2026-05-06T21:27:54Z","type":"item","id":"Q2228435","labels":{"en":{"language":"en","value":"Theorem proving for pointwise metric temporal logic over the naturals via translations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311959"}},"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":"Q2228435$90A8C6EF-4FA4-41C5-B2E9-0E1073D7045B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9db2b8daf2423d6034f22875cc5aebeb3975b1d3","datavalue":{"value":{"text":"Theorem proving for pointwise metric temporal logic over the naturals via translations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2228435$7FAC414D-91BA-44F4-B05C-06F964BCDFCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd5fffc09e393f1f94c5835ae72006f5ea4d39e8","datavalue":{"value":"1459.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$0BCC4A33-2BDA-4798-A9B3-2C748FDC7572","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$EB332E59-A3E7-47CB-BB8E-E6D2AC8AD3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fe90136006b42c6e405828747087b23478eca76","datavalue":{"value":{"entity-type":"item","numeric-id":1687539,"id":"Q1687539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$2866821E-577B-42C0-B65F-84AF8FA8ED75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$36FCDAE4-280D-438F-8936-385F1C2568E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$9FBBADEB-FB03-4F78-BB95-57C748FDFBC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103ae1223110bc14f3808579ff7835e1b3e9dfe2","datavalue":{"value":{"time":"+2021-02-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":"Q2228435$BDE6DF75-53FC-4576-8312-823AC2FE9EFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$1114D96C-C1FA-41CB-A170-4E16BEBC3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$831997D6-6C63-4048-B703-235EE6CD4775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$B31A0E40-63AB-4E86-82E4-4A3B88CEC5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$17B8B7AB-4983-4738-86AB-658386D2F8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$164F04F6-7BDD-459D-A6C0-0340EE1C3477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$0C2011A7-59E2-407E-8CFB-F54670D6D334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$3637564A-6452-4494-95AB-AAFECD48168C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d678fe6958894380f3561d7efe3f55094ba4f70","datavalue":{"value":"7311959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$A3198E9E-24A6-456B-B3D1-D1A4714B8A9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228435$EA4846AC-C360-4EA6-99B3-EF340448BD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228435$1712F772-942D-4C27-B4EA-C1A4012F725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228435$B3D01AD9-EFDD-440A-9106-9A82E6580C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa401a90f7be40837e492046fd0146ae8e354d2","datavalue":{"value":"robotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228435$4A3E374E-00F6-4F79-A2FC-CA3B0BC7209E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28c9e3321e38d6f02310acb5081270aaffca1f61","datavalue":{"value":"traffic management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228435$97024250-C4D9-481C-9AF7-50DFE6388411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228435$5E4F1D42-00B4-4951-AFD8-D9B064651E79","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7168463aa5132ed8486461189f7d9e20004f30a","datavalue":{"value":{"entity-type":"item","numeric-id":5975007,"id":"Q5975007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$0593E663-F40A-4F24-9E65-101285EBEAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$3B5B8580-ADDF-49A3-B89F-FF0008208987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3475c3a3767ecccf397c0e953871eea19487b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5975115,"id":"Q5975115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$08530248-9812-4801-B84E-1A97814AE539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"257ad6d8f8a34d3b938ce0839d1288673e8cec10","datavalue":{"value":{"entity-type":"item","numeric-id":18659,"id":"Q18659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$FDBEE4F9-4E5D-4102-8463-FCF8CE3F2A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"351376af9337c9358d4b7714d8543cf671d9a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$5EDC126D-10FB-4605-8EF7-FBDB9F6EDC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$3DE958EF-D36B-46F8-B134-2AB857603B93","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":"Q2228435$396E5037-B963-4560-92E3-4E75A6FA1577","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed8434e40640c85b9114825f713b037b2b5bf3c7","datavalue":{"value":"https://doi.org/10.1007/s10817-020-09541-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2228435$FDDF95A8-14A8-478A-9F7C-9045079BBDF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebc2fdd75a7b0a4ca65f0d48c3e2ae0d1c53e883","datavalue":{"value":"W3008764564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$BCA2D027-0F3A-4864-BC09-C487FCEC8699","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$BCD33306-28F2-4161-A254-481939AA3AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$FDC81B6D-F248-4774-9751-3047A66768C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$0E8A706F-55CD-4655-93CD-75BF6A5301A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$6D7120D1-0EE4-491A-A9B4-4FEF75215D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1807c980c96454a17d325c1f6e58e79036d69e2","datavalue":{"value":{"entity-type":"item","numeric-id":1687541,"id":"Q1687541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$5ACE33AE-BE71-4DD3-AB0F-4C5DED6968FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90e9188d4743f7b3c6e6c5952fc4df813e99619","datavalue":{"value":{"entity-type":"item","numeric-id":262137,"id":"Q262137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$71CE38B7-6A42-477B-91E6-F5EDEA70B101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aee98940040793c51e19c687deaaabb4774a0a4","datavalue":{"value":{"entity-type":"item","numeric-id":4585057,"id":"Q4585057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$F8D50241-FAB3-4D5C-9D68-6BE0BEEEC8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$F26EFC8D-12A7-4A23-8FE4-38CD75AB7707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d6d3cafbd83c15deb2c780763a8df8140f7af3","datavalue":{"value":{"entity-type":"item","numeric-id":1374441,"id":"Q1374441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$A95DC891-A4E2-4288-804C-E17FB18F39CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150fe651652ef11020b1010f64543bbed6292091","datavalue":{"value":{"entity-type":"item","numeric-id":3525008,"id":"Q3525008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$3E56820B-C256-4B8B-88C6-340365CF9A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$7A4B2517-D0C1-4CDF-A8C6-BA8FF8520237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cc22e70cd29988fee99676201ee18c4ac4f87e","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$367391B0-2BD5-4104-84CE-E9B55B657B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742b32a578d3c568e0bbc4ca3a458619127605be","datavalue":{"value":{"entity-type":"item","numeric-id":835826,"id":"Q835826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$4A8B2537-971A-4B91-BC12-5CEB16FF59CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a848ab10b49b8034fa7a7c3ea1c75dd27f93d21","datavalue":{"value":{"entity-type":"item","numeric-id":3192179,"id":"Q3192179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$CA7B85B5-3266-407B-B2FD-06A11C4550E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df399851d600f5fc66b83855263f74637e3a379d","datavalue":{"value":{"entity-type":"item","numeric-id":5555416,"id":"Q5555416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$8A6B3824-612C-4C92-9F37-11A8BC3026EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90477f58c5aef29821d1e7e018d42f467a78b51","datavalue":{"value":{"entity-type":"item","numeric-id":4576218,"id":"Q4576218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$559C517B-D65C-4233-819F-325D7430824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf6e66d0267d3fe1b3ceab5ccdf9e302fe126115","datavalue":{"value":{"entity-type":"item","numeric-id":2405259,"id":"Q2405259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$5DEDF816-B7A6-4DC6-A1F6-5B75C8C63AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a20135e39458ab90aba74357e707069bdc3754","datavalue":{"value":{"entity-type":"item","numeric-id":3568221,"id":"Q3568221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$9CDC34ED-8AD7-4384-9A5F-D3F595AC0813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16ab0d2b6f4f188fc4037eb8f2287cf5a655ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$C5EAC5A3-0AE8-4F48-90EA-70E430E32BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8cfdbc22557797a690d3e9371c8b6a91325609","datavalue":{"value":{"entity-type":"item","numeric-id":5015285,"id":"Q5015285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$551FB372-4477-46BB-B1BB-B68683284819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$1074389F-225A-48FA-B852-2565A8988017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$5AF72EA5-D740-409A-9266-7E92D0676799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366c228a0fa7b9eba8d6d2c839cc7bcc36a26709","datavalue":{"value":{"entity-type":"item","numeric-id":2908524,"id":"Q2908524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$EBDA2EC9-E8D4-411D-A780-D0AB58975938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5606a0549a0200c2a92bac03c8f76e4386d9248","datavalue":{"value":{"entity-type":"item","numeric-id":5410337,"id":"Q5410337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228435$3287D3BD-2D78-4381-B76E-848E13CA395B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b496da3157c3735840b29ab9bdd33e4c6feeaa8","datavalue":{"value":"10.1007/S10817-020-09541-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228435$10E2B781-CAD2-4A38-9C7E-236BA15FA9AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90b22a378cc7157b2db31a0024b78791eaa9262","datavalue":{"value":{"entity-type":"item","numeric-id":2405259,"id":"Q2405259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05bd276843ceddcf01d3757289dd88580c1502e","datavalue":{"value":{"amount":"+0.9617378115653992","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":"Q2228435$6F333D67-9492-4731-B95C-EEAD716EEE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c5c2d00b74ef3e1612d418fd0e3525fe319c7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f944f7d567dab22543661870f03cbee326695a","datavalue":{"value":{"amount":"+0.7826120853424072","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":"Q2228435$B1CEF384-D320-4B3F-8206-DB256676CAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5de592e6f455f32c2ae0957595a9c3e38aa524","datavalue":{"value":{"entity-type":"item","numeric-id":5111294,"id":"Q5111294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903d9ac8096f6619ad134ebd519f33e8bb00523e","datavalue":{"value":{"amount":"+0.7740857005119324","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":"Q2228435$7B5EB252-906C-4211-BF88-648F7DDDE104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be50a16f594585ad83b769990cd70371ed47af65","datavalue":{"value":{"entity-type":"item","numeric-id":5505598,"id":"Q5505598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb52263f650e43196016be378f47e855b0a78ecf","datavalue":{"value":{"amount":"+0.7671440243721008","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":"Q2228435$2A6C6F24-90BD-498C-884D-1B752E0E2B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b622d28cdc99702e9c59a8c5757277fab5f3b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ee064c73ba6dca053ac7e61f3b3f0aa7bce67d","datavalue":{"value":{"amount":"+0.7615258097648621","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":"Q2228435$8F099A71-F337-4589-8606-90F04A71518E","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":"Q2228435$82D97193-E72A-4D91-BEAD-1C5712521F94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving for pointwise metric temporal logic over the naturals via translations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_for_pointwise_metric_temporal_logic_over_the_naturals_via_translations"}}}}}