{"entities":{"Q6859924":{"pageid":20656177,"ns":120,"title":"Item:Q6859924","lastrevid":84252386,"modified":"2026-05-14T05:39:02Z","type":"item","id":"Q6859924","labels":{"en":{"language":"en","value":"Validity of contextual formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158322"}},"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":"Q6859924$5B4B26DF-4B6B-4A51-B83C-D83789730061","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc1b804a548e7de8f91a6525c92bf210ad6fa826","datavalue":{"value":{"text":"Validity of contextual formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859924$5041420B-DE1F-4C8C-8FBC-052FAC2B0642","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba2193951840d56a04442d81281e36f192564e30","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859924$EC8BC5B2-C545-4836-9AC4-54074BAD0155","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$D17D71F0-0520-45EC-BC3F-10733AAD6648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bafae3d52609522af796446362a8627a32da7eec","datavalue":{"value":{"entity-type":"item","numeric-id":2104540,"id":"Q2104540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$7B321199-EEE0-4EFC-9FD7-970A21D57024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859924$CF0FE385-B012-4279-B652-9967D0B134DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859924$5E35946F-B25B-42E6-A649-C55BFA4CE3FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b53760da02a623da948ee75e016637c1f04c14d","datavalue":{"value":"8158322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859924$7A59AB9C-5362-4B97-91B3-CA86347FE22F","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":"Q6859924$3F2918B5-49CD-4095-A2A1-F97D559D82BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859924$1A7D3BE4-3E42-4773-81DF-0A7410AB1F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859924$E0721B48-88D8-442C-A855-B9A323B6823A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3dde17579e366b90dd5051a3e31e3960cb838b6","datavalue":{"value":"contextual rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859924$81127F98-EDE2-43C0-89CF-6517F9E9D167","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":"Q6859924$01A280F2-A498-4960-B664-CC9AB7C4BA1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$94C2BC3F-AD65-4665-A973-12106D8F661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$A3CB6209-6FF8-40B4-A8AB-E988083E0449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78a24fba7d46ccc6254ea0c62592a76f70ab234","datavalue":{"value":{"entity-type":"item","numeric-id":3176359,"id":"Q3176359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$B926248F-A436-4238-91C8-C344EF2EECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115ef96bf99331e3ed47d04557a5b1c7b96446bf","datavalue":{"value":{"entity-type":"item","numeric-id":6487335,"id":"Q6487335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$95724B8D-911E-4FAE-8278-9D9EC853C56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$4E1F05D2-491F-4296-9949-3EB7036B7021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$6767A834-06D3-4529-9A0E-D3F6F4BD6BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$E456636B-4C2A-4D71-ACB1-647714D9A463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64415d0e1765913b996db68d5a66d4cfaa690c1b","datavalue":{"value":{"entity-type":"item","numeric-id":6966601,"id":"Q6966601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$D2EDCB33-06F5-42F5-95BC-88DF5F934684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859924$4EDAE97A-570B-453E-8ADD-53825598CFCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Validity of contextual formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Validity_of_contextual_formulas"}}}}}