{"entities":{"Q2914725":{"pageid":2925445,"ns":120,"title":"Item:Q2914725","lastrevid":51558074,"modified":"2026-01-18T18:56:28Z","type":"item","id":"Q2914725","labels":{"en":{"language":"en","value":"Weighted LTL with discounting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084474"}},"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":"Q2914725$A1471907-8EB8-4256-8EEB-C3423788C12F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c6dd44ea888aa5dff7f338d01b15660cc492be2","datavalue":{"value":{"text":"Weighted LTL with Discounting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914725$FC5E8439-638A-4158-8BC0-0D6131A88BCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09d297d8258bf4e2074d9e0570e35aae95f5383f","datavalue":{"value":"1297.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914725$12C3BC32-CC67-4E9F-B968-061BD56C9607","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cbabf8ce824d76a67f6466b99f1cdd11e62fe64","datavalue":{"value":"10.1007/978-3-642-31606-7_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914725$5A2BA08E-101A-4256-9B94-63822A974A52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c655a9986822ac786840a81a42addfba6e5f4a0","datavalue":{"value":{"entity-type":"item","numeric-id":2453982,"id":"Q2453982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914725$32E727B9-50A1-4112-8BFD-1E7C4021732D","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":"Q2914725$13B850C5-13E4-46C7-9881-0A7E1E65C33C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914725$94169C48-1BB6-4517-927D-16AA85BC7791","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914725$06D3968E-CAB5-4B88-B34C-BEB876AB0CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914725$4B3DF02A-1311-461B-9113-62F65388B020","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb8ea7a8af121977f0dd1ffd463958d4f6ec8fa9","datavalue":{"value":"6084474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914725$7802ACE9-9111-49B4-80DB-1A2BAE78F1D4","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":"Q2914725$6BD6ABC0-CD9E-4F50-B987-6640175218D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce4cd9b4947e7783b8eb6ede43d5bb73be40e4fb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31606-7_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914725$F76F46F6-DA83-4F3D-B4EA-C5390ABECA7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afaf1d557d97d0140c42ab1a9c29810a1adec022","datavalue":{"value":"W6462357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914725$2595075F-B0B7-4ADE-9074-8C609E6CC8DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914725$98501F8B-1C6A-472C-AB3A-83DB920F2BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b5f6a812551a19aafa5350df09b6baeeae700f","datavalue":{"value":{"entity-type":"item","numeric-id":860889,"id":"Q860889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914725$3D6CCD33-88C6-406A-AE54-FB34E4E17DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3740027a130caef4060b853e78da2e4d92072123","datavalue":{"value":{"entity-type":"item","numeric-id":764336,"id":"Q764336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914725$BACE45C5-0451-4869-BE8A-F541519B01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0190023dc89afab4c2683d1569eb34f21828d436","datavalue":{"value":{"entity-type":"item","numeric-id":5415664,"id":"Q5415664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914725$2A6E7FC9-D890-4579-A971-D7C7A06198FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65ce1b67969a15448bf3b77aebd5948a5c516d","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914725$DDF6A4FD-0295-41B5-960E-D1CACB5C72F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4a6ceb458684580bb6083c780516cc10748243","datavalue":{"value":{"entity-type":"item","numeric-id":2453983,"id":"Q2453983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914725$A36138DA-1664-4C6C-8B03-011BB1DA75B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914725$00D4922B-E2F1-45F1-B4F8-9FA89077190B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ecab4d06bc93bf80fbe8beff32660056f47d94","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914725$79332E02-1059-4434-AEF7-3B686C464399","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1dc821bf3070d0af06ab79a65bb1e58965dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":840767,"id":"Q840767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab7f6a852b48de84192b151c52cf9878492c537","datavalue":{"value":{"amount":"+0.8975076675415039","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":"Q2914725$2DFE19B9-C6FE-4879-9C43-73324E633316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482d6c9e9392f4679a550639d84c476cc959b03b","datavalue":{"value":{"entity-type":"item","numeric-id":3503896,"id":"Q3503896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0a541027d8cefa8b6c13bf087fcc6b20c191ef","datavalue":{"value":{"amount":"+0.8969772458076477","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":"Q2914725$D0C630B1-56CC-44B5-B5F7-59364120BB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be70a393a9f5af8d445a9a8b0c9ec5686c46b8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2453983,"id":"Q2453983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17da219ba86be3ec6ed2f3a40f3cf9a405de19c4","datavalue":{"value":{"amount":"+0.8955594301223755","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":"Q2914725$5BF503FE-095B-4D4F-B088-13DD5BE89750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4bdc92bbc8c210e435e8d978907a62574ba3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5015275,"id":"Q5015275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55aec8eb1744856f09ba0925b3c42801a4deb243","datavalue":{"value":{"amount":"+0.815485417842865","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":"Q2914725$4C9940BA-5C5E-43BB-A1C4-0EF130C5BD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db26bab9085c46609d78683548c62c9454cf4da","datavalue":{"value":{"entity-type":"item","numeric-id":3077193,"id":"Q3077193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc917ca1e6adbce2b63fdd9ad371e7202ca2959c","datavalue":{"value":{"amount":"+0.8128373622894287","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":"Q2914725$A4CBC993-2233-4F29-9E61-00FB99D23BD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914725"}}}}}