{"entities":{"Q5049053":{"pageid":7078630,"ns":120,"title":"Item:Q5049053","lastrevid":41654187,"modified":"2025-05-06T20:16:39Z","type":"item","id":"Q5049053","labels":{"en":{"language":"en","value":"The Expressive Power of Temporal and First-Order Metric Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614729"}},"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":"Q5049053$1DBD6B3D-A8ED-475A-A058-F31B4A2BA2FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8e0e137980bf28e8087b36139e092e0162abbe0","datavalue":{"value":{"text":"The Expressive Power of Temporal and First-Order Metric Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049053$9DEE1362-6257-414A-AB28-59FFBAE68AA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"591a4393796f09c93a7f7732e32c81b4de771091","datavalue":{"value":"10.1007/978-3-030-48006-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049053$A55A9991-C64E-49F9-89E4-D531C56570B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$D43894DB-795C-4A3D-8620-56CEBB25119E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf49ec633e64176908d7259def1366c96e7d3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5049034,"id":"Q5049034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$2B301C3A-AD42-4B34-8483-DBC8D68915E0","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":"Q5049053$21E7FAEC-9F2E-42E1-A866-E863662F863F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049053$B3FD11F9-8B3F-4CFF-B0A0-5200E7CC7F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049053$CA772B5A-010D-4068-900A-5F7E424749A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dff21af9a01b44d9e6eee6a869928f3c40383c6","datavalue":{"value":"7614729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049053$F378BD47-8193-48E1-B2BC-785A35DCE8C4","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":"Q5049053$1099D87D-9452-4227-BACE-4ABFE9BB6923","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6c7a946940fa59a1afa3ecec17a601fd9c6933e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-48006-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049053$9FD303B5-448A-4EA2-9BFB-FB7DED371E8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e21ab6b93b04e996ebb9beec73a81307558c673b","datavalue":{"value":"W3026689988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049053$4E8DA0BD-11BD-42F6-83A1-B15B5140FED0","rank":"normal"}],"P223":[{"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":"Q5049053$4EFAB5F2-468A-4027-88FC-E528C6C79E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$5FA66D96-4C33-4194-9F1D-C7469918F1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$B39CABF7-7C08-4215-A5BE-2F85864F8846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd2e069871eb3bf4232917297a8392cabd79fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$79BDE6D3-04CB-4E2F-9E72-84B86447A3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$B80EB845-7BEA-45D4-9FB5-7B185C32706F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa47655d911cd54ec5a24c13fe6c4246d8dad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5310679,"id":"Q5310679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$9B1F0FDC-7C70-4FA3-828B-D29EF4EB90DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708e646910c1a423c1aa79331d100939cf93cd4","datavalue":{"value":{"entity-type":"item","numeric-id":999264,"id":"Q999264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$2FE0310C-9DB4-4A85-B27D-103D3FA29D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869841cbce01d6540ea738f7cdb730e35417c12c","datavalue":{"value":{"entity-type":"item","numeric-id":2958534,"id":"Q2958534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$BCD78B5E-1B1B-49F5-8A7F-1E1CB891C59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acee2312434dac7ace5d908b77ac11beda01fe36","datavalue":{"value":{"entity-type":"item","numeric-id":5271072,"id":"Q5271072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$158A7E58-D6F9-4D7E-821E-15C3EDF989A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5781430c3bcca2b0df40d4fc7fd2bfdf2c1936f2","datavalue":{"value":{"entity-type":"item","numeric-id":1323323,"id":"Q1323323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$ECD39D75-AB4F-4774-A065-30D5870ECB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dd7a0ac47757fc0c679cd85b00743d85f9a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$D4CF82F2-FAF8-48F9-815E-692EF443759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b878e989625d882cb488ac4152e9aca1e8752","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$B685C315-8E25-4CBB-A0A9-B97DD5A31DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c97156c100c0e84fcb38cf468fe4a906435c77","datavalue":{"value":{"entity-type":"item","numeric-id":5404480,"id":"Q5404480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049053$BDC48030-94AC-4675-AF37-1571AB50315A","rank":"normal"}],"P1643":[{"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":"cc2e3801a4dc021d1e45e8bdbf546e3112693198","datavalue":{"value":{"amount":"+0.92984545","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":"Q5049053$220439A1-E137-4527-8373-A127D96B03D7","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":"b2fe691a46011cd67a9ec6bc0c9142319167e068","datavalue":{"value":{"amount":"+0.92744577","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":"Q5049053$3F5295FE-03E9-4110-B25E-33AF75A84080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91c7b0f995cf94f20d7f89bf33f8e1f57d3c21b","datavalue":{"value":{"entity-type":"item","numeric-id":5271072,"id":"Q5271072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ef166fbeb20892b6e726d3e8a2f8deb9ffa827","datavalue":{"value":{"amount":"+0.9269304","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":"Q5049053$F559205C-D92C-4736-B3C9-779425D7FF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3926ac6a5eeea9808a972afe7ad9bd3a840d3b9","datavalue":{"value":{"entity-type":"item","numeric-id":266865,"id":"Q266865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c82aa0d5198c3754bdfa6262ccd984e5b042a73","datavalue":{"value":{"amount":"+0.92213154","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":"Q5049053$0BF737E3-5246-4305-BD75-16B5285498BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5333daa6ee3d5bbc4159c6fd02b57d57fc7c2b06","datavalue":{"value":{"entity-type":"item","numeric-id":3447701,"id":"Q3447701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbe9a9874929d320261b1910b2a120ac353331a","datavalue":{"value":{"amount":"+0.92151725","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":"Q5049053$F81B8310-46A8-4D0D-BBE9-A2C29DE67C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1928225b2660c203f8d7dfd67cc2e1fa46365a38","datavalue":{"value":{"entity-type":"item","numeric-id":4576218,"id":"Q4576218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce1c22aa6a79940aa580c1a95849353f98977f3","datavalue":{"value":{"amount":"+0.9164109","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":"Q5049053$170D6F38-FAAD-4799-889E-6D8F9991F0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcdc152fc48b3fb14e9aa7237a5ab54d77803e9","datavalue":{"value":{"entity-type":"item","numeric-id":4484477,"id":"Q4484477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd661322b1efb6bce9db6c70b22ac7657ee03d9","datavalue":{"value":{"amount":"+0.9162453","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":"Q5049053$E23318CC-74CA-49A0-BB01-7374173C29B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e25396725c57b3c00a0d7c78e806441982b15cb","datavalue":{"value":{"amount":"+0.9138044","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":"Q5049053$27C42EC4-109A-4AC0-9F43-8124E64FD1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c1e56272e89723df8b5c41e8c5c2cea135c272","datavalue":{"value":{"entity-type":"item","numeric-id":2856051,"id":"Q2856051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12b46c8b99984a1ea9ddbb8493694530034d914","datavalue":{"value":{"amount":"+0.90965664","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":"Q5049053$D55BAACA-D1B7-4661-86B7-0DF5D5436D0E","rank":"normal"},{"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":"e95ad40e41e708fa2a4fcc0904dd2dec4d16bf60","datavalue":{"value":{"amount":"+0.90710413","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":"Q5049053$25CBAE31-B049-4DC7-A7B4-AA04C38B5847","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049053","badges":[]}}}}}