{"entities":{"Q6993496":{"pageid":21463968,"ns":120,"title":"Item:Q6993496","lastrevid":83965793,"modified":"2026-05-07T15:12:33Z","type":"item","id":"Q6993496","labels":{"en":{"language":"en","value":"Approximating the geometry of temporal logic formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8030844"}},"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":"Q6993496$74B0C748-67C3-4B33-9C75-BE9524980139","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f1a1ca7809f9dd043643f8e9b29910bcd5ccc96","datavalue":{"value":{"text":"Approximating the geometry of temporal logic formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6993496$7EE58DF2-0D35-4503-981B-FC1189ED62B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2818b29eebefda86d3166fcf27a9039b63c846ab","datavalue":{"value":"10.1145/3641513.3650139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993496$57D61918-307E-4F5D-B79B-DD994E817381","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b523564914b1f4b44eed2b0ad35579c3abcd3e4","datavalue":{"value":{"entity-type":"item","numeric-id":6993495,"id":"Q6993495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993496$039F876F-122A-4944-A1AF-9EDAFDB26E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea68b51da6c9464606d226c580b7bddc5c0ab966","datavalue":{"value":{"entity-type":"item","numeric-id":3172940,"id":"Q3172940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993496$EA0349E1-BECD-431D-8439-EF048A4D88A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36d5abadbf07d23923c3e363e6676c69e633cc71","datavalue":{"value":{"time":"+2025-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6993496$CF2B7E17-91E8-471F-97E0-5F497AAF87E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993496$5B753645-331D-4A2C-B96E-A8794C7F1C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993496$6BE2DA6C-1131-4A87-82CF-6B4D0EB940D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993496$FC08AC6E-7E97-4AAF-A339-C76D8FC9136C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6984c6aed184b3483e597a78de6c1e6807f9bed6","datavalue":{"value":"8030844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993496$AAAE206A-D174-41EB-939D-60AA1707A8BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993496$587B2F35-0589-4950-B88B-8D569F8A1301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993496$D6AE974F-5CB3-4963-887B-3ADD96279840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452a31dd0f5e8db2c00cf370e9240facd0756f1b","datavalue":{"value":"set geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993496$AC2400AA-EFEF-4D0E-B86E-E6E257117D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993496$DBE5397A-29B6-4A53-80D4-4E545DFC8E10","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":"Q6993496$AB03966C-C096-4332-8D44-B5179B6DC555","rank":"normal"}],"P223":[{"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":"Q6993496$8ABDFEA5-9607-4451-8B59-9BADE24BB5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993496$5BA14240-BF9F-4CF9-A23C-DD6CDC560DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0513acef2cc424c9d9e841cb524a06b821ec078","datavalue":{"value":{"entity-type":"item","numeric-id":2988959,"id":"Q2988959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993496$362A9DC5-434D-4967-8171-422EBC468830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1020a25302dded7f0dbae26657068b57f1932cd","datavalue":{"value":{"entity-type":"item","numeric-id":2986980,"id":"Q2986980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993496$0B8F0D56-AD47-4378-8DA3-2E8AB13BE2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620a29b5d0fa18a6ceb5e6d224c8bd4dc6305fad","datavalue":{"value":{"entity-type":"item","numeric-id":2151249,"id":"Q2151249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993496$E487E5C7-BFF7-4C0D-B0BC-F539A3F2FCA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating the geometry of temporal logic formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_the_geometry_of_temporal_logic_formulas"}}}}}