{"entities":{"Q2147182":{"pageid":2157925,"ns":120,"title":"Item:Q2147182","lastrevid":73434915,"modified":"2026-04-14T15:58:14Z","type":"item","id":"Q2147182","labels":{"en":{"language":"en","value":"Mining interpretable spatio-temporal logic properties for spatially distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546597"}},"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":"Q2147182$A7A573FD-D2A9-479D-A043-3525948A1DF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"735271fb72210cb0dbff13cbea09a3a199421c5e","datavalue":{"value":{"text":"Mining interpretable spatio-temporal logic properties for spatially distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147182$01130057-B175-46FA-B1FE-3AF0CEF19F5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0606f9b7af776f4ecbe8ec70e437ece58da89a8","datavalue":{"value":"1497.68433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147182$ECA06CBD-86FC-4C8D-BD09-9CDB50E04E16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95ca33492e30950fe0fcf2442f20e767215c87b7","datavalue":{"value":"10.1007/978-3-030-88885-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147182$D66FBF98-08C2-4543-AEF6-1E26E6C2B133","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8bcfe37ddb29c4652da229ce7df2a89019ed37e","datavalue":{"value":{"entity-type":"item","numeric-id":832042,"id":"Q832042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$6B51E081-DE3A-40E7-A181-A349A57BF26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10bfeb6e5c3c1810665b004434819ea4b3dc39c2","datavalue":{"value":{"entity-type":"item","numeric-id":526756,"id":"Q526756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$AD9AF35B-BE02-4540-B68F-2B6D1F037C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4a6424f8ce40d91aafa9f442c2faaff25b4f74b","datavalue":{"value":{"entity-type":"item","numeric-id":1784958,"id":"Q1784958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$A0CFC1F0-1F0D-48A4-A156-DA1325A98468","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147182$6D49CCE3-6320-4303-8F1C-504680CF04F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31968bd1674d4a6a2de48499916388b8f51dd384","datavalue":{"value":"https://arxiv.org/abs/2106.08548","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147182$B6440E20-4842-40DE-83FC-8A751BBB42FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147182$23E8C152-E2A0-4426-A18C-56572BCD915E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a59f52dcfcc38cd6697e0ef07319031311895b","datavalue":{"value":"62H30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147182$BFE13F27-4F96-4C0F-A264-38917953892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147182$39333A6E-B4D1-4C1F-8214-0B9A8B94BBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147182$25A693E6-E3B9-4F12-AA2E-4819A205EA69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70cd9d953716edacb92379331652361a930b4f7f","datavalue":{"value":"7546597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147182$9A3992D9-E091-4FDE-A074-36910440175E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147182$26BDB6C1-2271-428C-B480-6558A94D53CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ef69e42e05148d12c9d6839d53abde231e410e9","datavalue":{"value":"unsupervised learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147182$66015F6E-7B88-4339-83AC-B0260CB5C643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c144d95e9fc876295c104cb23854364c74748c2","datavalue":{"value":"spatio-temporal data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147182$9A795FCD-CA56-4C01-A371-C673F8EE8966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147182$276916BF-D124-4C1E-8B4F-946D8DBAAC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4237c5b604a5a54e6ab86eda95283b6b7029ec77","datavalue":{"value":"spatio-temporal reach and escape logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147182$E69C8CC3-F346-41B3-B874-C038D489E7C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"20f6372a749f82ed5884cf11f0a4373b01a3b736","datavalue":{"value":{"entity-type":"item","numeric-id":16059,"id":"Q16059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$C7168430-BE1E-464E-9D32-898ED37A4F7C","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":"Q2147182$27D5387D-E96E-4396-94FB-D46F6D58CEDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bff4fd36bdc5b8063862eab6c69f08069243608","datavalue":{"value":"W3208522429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147182$A5DDB822-B798-45B6-9281-FB341392F12C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e5b6ecff16f443f95123d12d4a05d82778e189","datavalue":{"value":{"entity-type":"item","numeric-id":1057599,"id":"Q1057599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$F47331A2-BBEE-419F-BDBC-F7A260F58739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9509a755e1a67aff8b27e3d6ee599edbc60d533","datavalue":{"value":{"entity-type":"item","numeric-id":4650437,"id":"Q4650437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$2D425A8E-0BD4-44FA-A15B-164C5CB2FD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c26c22c5002ebd26d75082553ff11aa8cb21df","datavalue":{"value":{"entity-type":"item","numeric-id":2282012,"id":"Q2282012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$200D3A60-66F7-4CE3-AF98-6A2A77F971E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6101bbd1e1b228feaf21a9880573b6d5cceb3787","datavalue":{"value":{"entity-type":"item","numeric-id":2151258,"id":"Q2151258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$05B2743A-D6FB-448D-9841-FF436A02FC8F","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":"Q2147182$577DC82B-7455-437E-B1D3-8123491A871F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40d55c384e43c0f7f459b4c221814c7ba3e671","datavalue":{"value":{"entity-type":"item","numeric-id":4398828,"id":"Q4398828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$1E2D1DF6-ACA2-4D39-A432-EDB4527DAF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb50b727b7ecb6eb3c385472e0597073285e7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5146371,"id":"Q5146371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$9E97830C-0CFD-43CC-B342-1D60D6A062A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3a5041dd94d72909960fc7018dd18b38f63298","datavalue":{"value":{"entity-type":"item","numeric-id":4553288,"id":"Q4553288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$C1B9B67B-E78B-4035-B089-CA4832063CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5759edff4dbfe892d804c1be9712c9c7d6977ea","datavalue":{"value":{"entity-type":"item","numeric-id":1098199,"id":"Q1098199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147182$98430A33-9CD3-49E2-AA4F-B8ED25BAFD62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0983fb235afd310c42c7ee296a4dbbd36def64","datavalue":{"value":{"entity-type":"item","numeric-id":2986980,"id":"Q2986980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74d5a850310b77ac2833a60d9f888bdb932e82c","datavalue":{"value":{"amount":"+0.7371912598609924","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":"Q2147182$76B0CC1F-D22A-4892-9588-6BD7C3551CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7bd5971153520ada842a4ef91a4267e5103b87","datavalue":{"value":{"entity-type":"item","numeric-id":4553288,"id":"Q4553288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59aba401e838e389f53836522ae4911c04c91898","datavalue":{"value":{"amount":"+0.7329427599906921","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":"Q2147182$00ED1E59-C2C5-45E2-B28D-6213B11347A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e000e33dbc7c3517d4fbaba16982d44ad209a885","datavalue":{"value":{"entity-type":"item","numeric-id":2988938,"id":"Q2988938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809eb6c552a393b5a1e57bd321e0a260f880c81b","datavalue":{"value":{"amount":"+0.7106379270553589","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":"Q2147182$9F8EAE2D-1E97-43F9-91A1-6A9601139830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24eb6a443d52a95ffb28c290c0b9e3517f777d10","datavalue":{"value":{"entity-type":"item","numeric-id":2151258,"id":"Q2151258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778eac12a96e27bb250aa3884ed98c908e018de6","datavalue":{"value":{"amount":"+0.7101779580116272","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":"Q2147182$E3E07BAD-D797-4F40-91A5-4F44B8EA02D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0fa8af1edc7d5e1ef57e04cac3659b64a54428","datavalue":{"value":{"entity-type":"item","numeric-id":5500551,"id":"Q5500551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16072630d4deb9cc89bf8823e0dd4bdfe9df611","datavalue":{"value":{"amount":"+0.7086879014968872","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":"Q2147182$463AE0A0-E964-4CD0-99B8-4FB4B32123DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mining interpretable spatio-temporal logic properties for spatially distributed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mining_interpretable_spatio-temporal_logic_properties_for_spatially_distributed_systems"}}}}}