{"entities":{"Q4238501":{"pageid":6268102,"ns":120,"title":"Item:Q4238501","lastrevid":46581282,"modified":"2025-12-25T01:58:48Z","type":"item","id":"Q4238501","labels":{"en":{"language":"en","value":"Theories of \u00a0-layered metric temporal structures: expressiveness and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271175"}},"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":"Q4238501$2A1F57C5-3375-4435-83B9-4F960B239298","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa122bb27925d206292d87495b12cefbe0b14203","datavalue":{"value":{"text":"Theories of \u00a0-layered metric temporal structures: expressiveness and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4238501$30334737-A6CD-40DA-AE73-A2AC0EAE0BFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9b3a384f7b179e2de8f8ad8ab471545b32c06e7","datavalue":{"value":"0920.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238501$EE0E294D-5188-4E2A-89A6-811CF02B01F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238501$C8655F79-AAD2-45B1-B4F3-031829A67DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238501$B3F6DB5D-0B30-4C54-A9A4-94C6CC0FEA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238501$3A0A6AB2-324E-451F-B3BD-F538408B93C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a6067367fba059f6e8b1ef3c6074b68fe3ceb6b","datavalue":{"value":{"time":"+1999-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4238501$8FF6621B-30E9-434B-ACA8-B874075AB413","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fd3dd737cede88210da2f1d34164078ac372868","datavalue":{"value":"https://semanticscholar.org/paper/1bc4883ab112cd708dfe2f1b1a9f0ec976da81ff","type":"string"},"datatype":"url"},"type":"statement","id":"Q4238501$80F4C088-5391-4442-9B62-EE88FA9DD9B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238501$D46FD959-860E-4255-9699-9C45780825EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238501$6692029C-541E-4C2A-851B-B60FC675E41E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ea91de862695c4e3e13333df4e23c8f4ea25abe","datavalue":{"value":"1271175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238501$F2AA1A76-5DDC-41BD-A67A-703AAA079032","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238501$A15102EC-EB49-4892-8BFD-A1BE1EF2E15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3532c23982484701d14f86d9fdaf981fa0f3dd69","datavalue":{"value":"metric temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238501$DE7B2BFF-A2E5-4EA0-819D-FF07A636DE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238501$5E2AABF1-2269-4B5C-AAEF-434DC8D787E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e066a43f730d19a9662d89ecac5b1142f0528eef","datavalue":{"value":"layered temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238501$B9F7C3E4-BA3F-41A2-90A6-C6D0BEE9FD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed35465f584dc9ce4c9ac18b12e973d1adbaad9","datavalue":{"value":"time granularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238501$D98E544C-2A8A-4B1B-B673-AF2CEEA081C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1f77511e107fda25e01e1131aa5f3589f88a24","datavalue":{"value":"metric temporal structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238501$FEC924F4-8844-48E4-AAF3-6EA8D81C8E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deb5b2257d18b1136273d6a680f96f14d4fb65ed","datavalue":{"value":"temporal layers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238501$0F10ABB7-AB36-411F-B043-9804338FB6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa02ccb360b6952bc93c5104a1ec16102769dfa","datavalue":{"value":"monadic second-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238501$412D6B3A-22FD-45A8-BB08-25A3AED16965","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":"Q4238501$31808D05-763E-4496-B906-4281A12424C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15d3eb9c859e405e549d7cacaefb07ac37c62611","datavalue":{"value":"W2041135966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238501$C453920C-DABE-46CE-BC30-AD94A7F5AAB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d4b2414dfbd78ce33bbdea56cfd455e27ca1910","datavalue":{"value":"10.1093/JIGPAL/7.1.79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238501$099DB115-FF40-4F1C-8543-D4A0D688DE94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238501$906EFBB2-19A8-48E4-843B-AC488C1FF8AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773698056781c6142f20e33331ced97f642db300","datavalue":{"value":{"entity-type":"item","numeric-id":4952306,"id":"Q4952306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2730290dc39006fb8beb7f3ca1d864517837af53","datavalue":{"value":{"amount":"+0.9447578191757202","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":"Q4238501$DFD08B49-6988-485D-A881-2DC1BB9120DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3785e6f2de7467d6caf8b18298602e425f40e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1815429,"id":"Q1815429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14743336ea92d093474e3c1019650702c1f3ad4d","datavalue":{"value":{"amount":"+0.8616181015968323","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":"Q4238501$F9B055F8-9DE3-4745-9E90-EF9385C4CDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8327999d691fcc2f5595a432746b9863f98977","datavalue":{"value":{"entity-type":"item","numeric-id":3647247,"id":"Q3647247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e5e7e8401f128d9c59fef1294d0e31ef63e66f","datavalue":{"value":{"amount":"+0.8014122247695923","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":"Q4238501$F2543938-0644-49B4-9B21-C700F5428E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cea97e0c537744a510f3a938610fe5c24519ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1768798,"id":"Q1768798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfb7e12b89f90944477c4b674042ef87b80602f","datavalue":{"value":{"amount":"+0.8006986379623413","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":"Q4238501$DFC4DC86-7F11-4D78-8D84-CE392C68E588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b80bf534db2061dbb1a2fea6dcdbdedc5cf1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4669652,"id":"Q4669652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1c3c8b861cde522d60654d75693f18d8bca552","datavalue":{"value":{"amount":"+0.7893268465995789","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":"Q4238501$7412F62B-BC21-44BD-8990-702227857BE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4238501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4238501"}}}}}