{"entities":{"Q6535617":{"pageid":14146760,"ns":120,"title":"Item:Q6535617","lastrevid":95489579,"modified":"2026-06-05T09:08:39Z","type":"item","id":"Q6535617","labels":{"en":{"language":"en","value":"Verified first-order monitoring with recursive rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798029"}},"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":"Q6535617$8A7FDCC9-292F-484C-A70D-375518F18DF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"512afee80a0f310ba4d8a4e146371ae93951be61","datavalue":{"value":{"text":"Verified first-order monitoring with recursive rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535617$C3EDD3E3-C9B2-45E2-A21C-96E9DFA76909","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e41c98da9e11980a64605d0bf2b9b3221a02633","datavalue":{"value":"1547.68464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535617$0605F445-F695-4DDF-BFB7-2B79320A555D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e0eb4d48592df9b7cecebc5c790ab216bf0441e","datavalue":{"value":"10.1007/978-3-030-99527-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535617$12268079-7ABE-4BAE-9F7D-A1B2C38ED782","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4de430c29e5351e09004c764c5e80979eb386a1e","datavalue":{"value":{"entity-type":"item","numeric-id":6109464,"id":"Q6109464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$7E0B4777-2853-4672-97B7-0F02C25842D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1844a0279eb1635d4c321f766c80bc716d34157b","datavalue":{"value":{"entity-type":"item","numeric-id":2008286,"id":"Q2008286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$282FA9B0-846B-49B7-86AE-F17732017200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7804736ab920c95bce8d62233dc0c2148a45c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2096465,"id":"Q2096465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$80DAABE3-3E4A-490E-8E33-0805CC79A77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3965063c420dc0ac3666e10122851aa247fe45c","datavalue":{"value":{"entity-type":"item","numeric-id":1637552,"id":"Q1637552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$C5B57C7E-28BC-4E55-80C6-E9DB1C2E85A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$402DFA97-0266-48B5-9C4E-4087B158BA82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535617$BC79AA77-A21C-45EB-8D43-7B200F80F897","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535617$925B6B37-6613-490B-BDD8-04F58D0FB777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535617$6879E7F6-79C3-42B1-8BC3-BF4A8BFBEB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535617$06FBA68B-5BD0-4491-98F8-2983A957AD08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bc3125fff8d1853007658586dc3426e9b5fde18","datavalue":{"value":"7798029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535617$A19C76E3-917D-476E-A61C-BFFF77736E75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93e599363276371c47dfc4aefe53da8e2f7c8c9","datavalue":{"value":"rule-based specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535617$ABC58432-7DE8-4CF1-861F-F1BA3828689C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535617$B27642EC-F4E7-4C80-A929-ECE67EA42613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535617$82322648-F0D6-40B8-805F-40CBFB307F2B","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":"Q6535617$634839AC-48F5-41C9-B25D-7EE5F2FBCA37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$02358D72-C0D0-4519-A65A-D48CDC0CE43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53bbc31a445e987f53c0841acd693d68b85167b","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$23FC85C3-8657-464B-96C6-6E9108FD3468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8377997dd27c031e0267b857de31850931ea98e6","datavalue":{"value":{"entity-type":"item","numeric-id":2096466,"id":"Q2096466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$56A569F1-57AA-4529-AB4C-975EAD7F7EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$A5043418-EA3A-4C80-8636-349915FADDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c9410310564b885701ad3f53afb94663905365","datavalue":{"value":{"entity-type":"item","numeric-id":6165893,"id":"Q6165893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$8812AF64-7FED-4516-BB69-5A60E3A15E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0f956eb64811c8a8b002ecf78e92dd7bcb769f","datavalue":{"value":{"entity-type":"item","numeric-id":2225472,"id":"Q2225472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$B6CACCE2-CF59-43D7-A622-2860EFF9409D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$5D1BBEAC-CF2F-4970-9DF0-5747F706F0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c585332dbf79ba08082d9768870c4f6299a80c","datavalue":{"value":{"entity-type":"item","numeric-id":1323330,"id":"Q1323330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535617$83EF0C29-743C-4712-80C4-6CADC59175A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cec13b3dccc688906439feb72efe0e74a0d31a8","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9253c3d8ac4bfaecd5e46036957967c6a704326","datavalue":{"value":{"amount":"+0.7840911149978638","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":"Q6535617$BF2C6B2F-F8F2-4A25-AF7E-3030F3AD88CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c152bf3510222c0de680e6cdc60faf90919728","datavalue":{"value":{"entity-type":"item","numeric-id":888417,"id":"Q888417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720f741ae3fd8c226a6cdb17b1ec25e50ac6804a","datavalue":{"value":{"amount":"+0.7664333581924438","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":"Q6535617$9105C3A7-7B3E-4A6F-A72C-F68A0E611C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc33dc20f9f51ffc4c4e6975ea09acaa073c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":6041276,"id":"Q6041276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5089f6e2d7f941bd2373774cd335a7c54e5ed186","datavalue":{"value":{"amount":"+0.7613129615783691","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":"Q6535617$D4BED754-CB4E-4A72-835B-530DB4AB515C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6ce02468e347759e866781c1c1d3d60fccc4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3165946,"id":"Q3165946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7d8fb08d1d5327ee1c6222f03db269e9646a5f","datavalue":{"value":{"amount":"+0.7512258887290955","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":"Q6535617$8307D752-EB33-4115-AAA5-D56F1E085013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24a7809050fbdaaa469df40358701e1f7a7c3cc","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573cfdfdc9783deac06518ccc26556205ae046ba","datavalue":{"value":{"amount":"+0.7385841608047485","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":"Q6535617$4C7C5325-BDF8-4E5A-8D8F-01A0D1D5D4FE","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":"Q6535617$6804B98F-88BE-43A1-BA5B-2C491B4D2EB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified first-order monitoring with recursive rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_first-order_monitoring_with_recursive_rules"}}}}}