{"entities":{"Q6163886":{"pageid":13298767,"ns":120,"title":"Item:Q6163886","lastrevid":98745683,"modified":"2026-06-05T18:23:10Z","type":"item","id":"Q6163886","labels":{"en":{"language":"en","value":"The quest for an adequate semantic basis of dense-time metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719265"}},"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":"Q6163886$494DA3BC-0199-449A-8ED4-90A42D40BD8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3d8fa0011f23db86aa1292a5aedae07d51c879b","datavalue":{"value":{"text":"The quest for an adequate semantic basis of dense-time metric temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6163886$EB402D8B-583C-4A19-9F5A-14F4D0475CDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9302455f76ba3e6c43a64c51f4cae36451e2e649","datavalue":{"value":"1524.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163886$82A2F989-02BD-4123-BBEB-4CEEFEAEBD99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7af7e82498f97ca923cba34e643c1a9f8da50c69","datavalue":{"value":"10.1007/978-3-031-15629-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163886$6D31A07D-7224-4695-B94E-6CF1BBA1AD79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163886$55409AF6-3963-4370-9FF8-0A5A2F04DBDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163886$329BABA2-4527-4553-996B-AD71A14A1CCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a737b362c9cc4a7577c7886e9ed43c21a3fff2e","datavalue":{"value":{"time":"+2023-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6163886$B3F08E68-6E20-4608-8067-658A4A21A4C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163886$FF8D06D5-1049-448B-BA6B-2433E400E3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163886$2949A02F-7307-487A-88FA-DE4873205B47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ca96a0852a7fa4a41f6ad5cdb742506b0745d7a","datavalue":{"value":"7719265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163886$997DBCD0-D0DB-41FB-BF83-F008ABD58EA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b58ffce1cc2b1e37248090e40dfb2a885302be","datavalue":{"value":"metric-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163886$220322E5-1B25-406F-8B6E-8203B702D3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d962c52c0c7c9eedc6834bb0589d8aab7b9897","datavalue":{"value":"variability constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163886$97D0BC54-94CB-41CD-817E-3268C2E766D6","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":"Q6163886$475CC61A-43F3-4BC0-8958-20248CA70776","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9e0b585098cbc76af390fa9e75e9a883659bc70","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15629-8_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q6163886$1367B54D-384C-42DA-B1B0-34F4DA2D8184","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdce110c68be774906093ccf75bfb3db3626ad05","datavalue":{"value":"W4297922698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163886$62870E1B-EAED-4CE5-B536-0645590DA99E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c01797238679efe6e5fb4fb6f8074de29bf54dd","datavalue":{"value":{"entity-type":"item","numeric-id":5255815,"id":"Q5255815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163886$A18A7717-AEB0-4D86-92DF-B3F6B8A2484B","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":"Q6163886$FD289A66-F617-4DA8-86E9-5A64F8E570F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163886$8847C880-2ACF-4539-AFF8-0EC0BE89F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163886$038CF36C-6359-43A0-A973-CC4918A9550D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163886$192CF634-1D4C-49ED-81FF-79B7854C6E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c72d1609322f3a3879477ea3b5ea2254cff6245","datavalue":{"value":{"entity-type":"item","numeric-id":1882793,"id":"Q1882793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163886$48B9AE7F-051E-4680-B401-2DBFC9155485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163886$A26C6201-0EFD-4552-9228-3F39EED76F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf6187ca0a713a5be48fa8bdf70e7de963ab3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2769090,"id":"Q2769090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163886$C360B2E3-E91A-473F-8786-4BAB6AEDA126","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c32eaa50c13863f7dcee28e8f2f8b44fc578258","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5d00408e29f619a0a1dd30aeae8cdc28185ad6","datavalue":{"value":{"amount":"+0.7702962756156921","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":"Q6163886$A7079ABD-EAC8-4400-B25B-3FAB776F83DC","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":"d9c5a552fda125650d19cf6a91b4eea5b1ec9a36","datavalue":{"value":{"amount":"+0.7565253973007202","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":"Q6163886$D1306490-0EB6-418C-8534-DB96FF368AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472e2390860ce0843a5faf10aa4ef23ded5b0577","datavalue":{"value":{"entity-type":"item","numeric-id":999264,"id":"Q999264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb280063027a12809ed05ddcd16af98c3db348c","datavalue":{"value":{"amount":"+0.753341019153595","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":"Q6163886$F3EFEA49-5898-4631-A430-57D7D11AE394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b710ebac1c18cb38b677bbecd46d366a66e674f","datavalue":{"value":{"entity-type":"item","numeric-id":3419667,"id":"Q3419667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02f6db8a15be56776dfdbb318589792ae652e15","datavalue":{"value":{"amount":"+0.7500478029251099","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":"Q6163886$2E99A48D-DAA7-4EB9-A277-9DE90151BF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03b7fbaa496dba24857d14ec9985e2c6fbfc731","datavalue":{"value":{"entity-type":"item","numeric-id":5190786,"id":"Q5190786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddce63866f17a8a496db07f2fa4b1e30498055ea","datavalue":{"value":{"amount":"+0.7491777539253235","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":"Q6163886$13A83045-3FBB-4FC4-B02D-F0F1D9C2E24B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The quest for an adequate semantic basis of dense-time metric temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_quest_for_an_adequate_semantic_basis_of_dense-time_metric_temporal_logic"}}}}}