{"entities":{"Q6187072":{"pageid":13321960,"ns":120,"title":"Item:Q6187072","lastrevid":58745391,"modified":"2026-04-06T13:53:34Z","type":"item","id":"Q6187072","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7799630"}},"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":"Q6187072$7F6F5E29-C7BD-432B-A37B-081042A8D5D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187072$E7999DED-129C-4779-B451-FADF1E39D721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae863e361406875ddaa7394552d0da60b28b9fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2147205,"id":"Q2147205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187072$9731D09E-C8C4-48B3-9E0F-7AD5B1CC4CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187072$A4B7A6BB-E568-45DC-9AD3-C0D9CA2C59CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187072$7F7E020A-51F3-47C5-8C13-7EEF6F38F4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba20e89c14771dbd812019baf9e7186c725502f8","datavalue":{"value":{"entity-type":"item","numeric-id":6103454,"id":"Q6103454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187072$AD02D651-D36C-4D6E-BE62-E05FBEF63B16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36c2e1616da38323cf7ff49255652cb2a9eb6fc6","datavalue":{"value":{"time":"+2024-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6187072$FE313D33-ECCA-4959-9CD4-F34B5DD95CE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"789ff92c6f899e125b8115556bd68fb18defb36e","datavalue":{"value":"https://arxiv.org/abs/2010.03311","type":"string"},"datatype":"url"},"type":"statement","id":"Q6187072$B390A2A9-2646-4FCD-9E8D-B350E2D787CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187072$FC62C3DC-08F4-481B-BF4A-C6C76FAF106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187072$5C022A41-6588-41E3-88D2-0A5212107318","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e746d381c2e1f1c27aca87d356e28226788064ec","datavalue":{"value":"7799630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187072$A4540E83-C61F-489A-BE43-A2436227B1D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187072$B7FA0A44-6176-496A-85E0-A4E024A8D875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187072$6CA07896-6A42-4A75-A826-D0BD60DF88C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187072$55841434-CD33-4A73-8599-2CBCD224D14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187072$2C05FA22-94C1-4C3D-80A3-BF05AA2013C1","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":"Q6187072$649B6B5D-D0F1-44AF-9F17-DF6CFF495D1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06e3653bc5ddac1110bdd2ac2f0a7359b805b3f0","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2021.52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187072$839733F7-0FD0-471C-A1E6-420421A7C0C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6187072","badges":[]}}}}}