{"entities":{"Q6535569":{"pageid":14146712,"ns":120,"title":"Item:Q6535569","lastrevid":57576018,"modified":"2026-03-31T11:26:11Z","type":"item","id":"Q6535569","labels":{"en":{"language":"en","value":"Learning model checking and the kernel trick for signal temporal logic on stochastic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793100"}},"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":"Q6535569$BEE91BA3-0061-410F-80D3-376F56B07EA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"527d326ceccf6e235d22da04d589befd48f035a8","datavalue":{"value":{"text":"Learning model checking and the kernel trick for signal temporal logic on stochastic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535569$17161FD2-6B2A-402D-872E-04216DB1F93F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c290ff969d60e858695ebc003f165896b0faee7","datavalue":{"value":"1547.68414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535569$D90EAB02-054C-4BF6-890D-EB4FFCB08488","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d35500483c93a5135d0ee64ae7871b3bcd5e686c","datavalue":{"value":"10.1007/978-3-030-99524-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535569$1F132142-471D-4978-BD1F-E6652B67B256","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c08f373ed6dd47de29844f015be15a75e84a8bb7","datavalue":{"value":{"entity-type":"item","numeric-id":259040,"id":"Q259040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$42824ABD-657A-4BDC-B8CC-4866A1A389B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffea9a9626e3d8085bdf47a65f81d32cbdf5fdb5","datavalue":{"value":{"entity-type":"item","numeric-id":6535568,"id":"Q6535568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$0E2C7779-2B6A-49B1-8DE1-36845653F973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$A78EAE93-05DE-461D-8E69-B8F3AECB3044","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":"Q6535569$381C1126-A2CB-4CEB-AD9A-28ECB686EA84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535569$A55330B0-CB51-4A30-848B-61D29C1932EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535569$322BD435-992A-43FC-A854-1E09639E1697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535569$2E9F63CF-469E-475F-A78A-2B121FF5DC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535569$149FA910-DA4D-4B92-992A-2CBF9EA1ACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535569$75C86DF9-2394-49A2-9EDF-01B7D5E10065","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"496b0bce76c493efb18a82edfc2d738d3222f81e","datavalue":{"value":"7793100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535569$24609BE9-5CA1-4F16-95C5-275639ADC0CE","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":"Q6535569$7CE3080D-C878-4F51-8254-337051337282","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3538c3fb75439c093c80c040f9c6a97311c9174e","datavalue":{"value":{"entity-type":"item","numeric-id":4558787,"id":"Q4558787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$905ED633-95A1-4A01-BD4B-DC7F2C3625A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c75357b9c8737bf86af09d508f75aa9d90c26b","datavalue":{"value":{"entity-type":"item","numeric-id":5856412,"id":"Q5856412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$9297C490-6084-4216-9E8D-4242E4B4CE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$05936F51-1553-4B06-9E4A-B12980FC6AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589c340747955fdce87947ff5d43715615956ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2348023,"id":"Q2348023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$6EBAF71E-3B48-4C6C-BE57-6E91BC66B246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263914100d05dcd941f2066b9f17d0b8e7e88611","datavalue":{"value":{"entity-type":"item","numeric-id":5500551,"id":"Q5500551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$D5D7856C-92CF-48EE-836A-32ED28DC0CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$543BA695-7C8C-4C96-8A9B-7995FC483565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b258316c285708820091587d3f7589a3d9be4639","datavalue":{"value":{"entity-type":"item","numeric-id":2988954,"id":"Q2988954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$4C43987F-BC28-47F9-99BF-D47C13AB33F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6dd9c7b9e47e50a3285d10a7f6b35c309c01372","datavalue":{"value":{"entity-type":"item","numeric-id":990373,"id":"Q990373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$CB386E7B-7C57-47D0-B5D8-1B0079685FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$DA5D88DC-B8D8-456F-B6B5-F87B27FB692B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3039cf3ee90fa7e8ecf058486639300c4ba6b308","datavalue":{"value":{"entity-type":"item","numeric-id":4608672,"id":"Q4608672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$6A7AA1F8-13B0-4E0B-8F99-A6B294C7668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952dab3689e016aa8b9c59867a483243091eee9d","datavalue":{"value":{"entity-type":"item","numeric-id":3297602,"id":"Q3297602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$6A6C695D-C48B-457B-86AB-67B31E755C3D","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":"Q6535569$03D8169B-3DF9-40F2-912C-05751F14E70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b19e90346f9ddea408797db527ea1dcb385d064","datavalue":{"value":{"entity-type":"item","numeric-id":4626279,"id":"Q4626279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$58E61BBB-6435-43A8-8412-55FD6D0F66A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad625576141754dfc809ee18801b070c92de70","datavalue":{"value":{"entity-type":"item","numeric-id":2855953,"id":"Q2855953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$19785BE4-999C-4987-940E-D7772CC5148F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33deaa788f299f4f8f0557191ea907072eeefde0","datavalue":{"value":{"entity-type":"item","numeric-id":4954179,"id":"Q4954179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$C73FB0E6-8A3B-4A76-B7E9-4DA886EEC3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a863bec650c3a4861273a0e14be3049bab38643","datavalue":{"value":{"entity-type":"item","numeric-id":3394879,"id":"Q3394879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$90799843-30D1-4C80-BD79-FE814E17D6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df9f4577a0dcd8391487c5af1766a60e3ef7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2755103,"id":"Q2755103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$BB9FA025-DF65-41E6-9C67-D01B2122D58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535569$50397249-9F5C-4FBB-ABF7-72D653874461","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7c09edcb49850caf43a32b68bccac3dd13fc0f","datavalue":{"value":{"entity-type":"item","numeric-id":2008282,"id":"Q2008282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e96e94c1c4cec582b697f7efe5843997b4db7e0","datavalue":{"value":{"amount":"+0.7760015726089478","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":"Q6535569$08D60CA9-0A49-4289-BDE4-23EE17A430AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d736724e23994b00d486c282b4d29ace85a886","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd4f4efbb72b95853fdb3161c932f1fe2d8cba6","datavalue":{"value":{"amount":"+0.721346378326416","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":"Q6535569$E956E661-ABE2-407B-A3DD-85AA1DEEA34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eae304c14a62ec405de6a705270a1d4bf90c7","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7999ed534f6ad8a447de9692d64771a82387d1d2","datavalue":{"value":{"amount":"+0.7198788523674011","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":"Q6535569$507ABC41-1684-4117-B689-80AD5F990F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da514cef9ccbe6bf41412a800d76ac6fcb88d596","datavalue":{"value":{"entity-type":"item","numeric-id":4561452,"id":"Q4561452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7bce0c24424bed8943c43de3101903dd063c4f","datavalue":{"value":{"amount":"+0.7089546918869019","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":"Q6535569$C916D6AA-AD4B-4404-805C-4E9818D982FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7659258e10d7c67a4d0eba7d58d6a519d8ae8a1d","datavalue":{"value":{"entity-type":"item","numeric-id":4561450,"id":"Q4561450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5113dee1fa1e8344cc77b59ab5796e2cc014f06","datavalue":{"value":{"amount":"+0.707340657711029","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":"Q6535569$E7B90190-34C0-41B3-AB9F-62B0CF554FF0","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":"Q6535569$4BEDDD99-9069-481B-B420-EAA3BBA44661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535569"}}}}}