{"entities":{"Q3452476":{"pageid":5230713,"ns":120,"title":"Item:Q3452476","lastrevid":80696981,"modified":"2026-05-06T16:47:41Z","type":"item","id":"Q3452476","labels":{"en":{"language":"en","value":"Symbolic termination and confluence checking for ECA rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507844"}},"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":"Q3452476$46434E1B-EAB1-4A87-B750-23AB7506FF9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfff67c0423535ce4371034ae4b268e38e61d0df","datavalue":{"value":{"text":"Symbolic Termination and Confluence Checking for ECA Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452476$06C04EFF-4699-41EA-9F17-3DFB5316D072","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98ca49b14b6368f418a7c3ac7c4c679cc34e69ec","datavalue":{"value":"1428.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452476$9F4CF9A7-0F2D-437C-9AB9-D250391F5882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2d64c70dc019525e414c82c8ab712b49cb11380","datavalue":{"value":"10.1007/978-3-662-45730-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452476$F4C71539-4AB8-4921-A9FA-7D90E4336741","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3fda57ca5abc9d68f067a98e5d100dc3706db8","datavalue":{"value":{"entity-type":"item","numeric-id":3452475,"id":"Q3452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$482B87BF-03EF-46B0-B2A6-98E233D1D710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$5736CBBF-5C7F-4D2F-8B56-38F146E652AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f44f768c24bbb69aa562f594bffbf9e5c61424ed","datavalue":{"value":{"entity-type":"item","numeric-id":1406261,"id":"Q1406261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$5C3B7C20-86CF-45BF-AE7E-77306E9B8AD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$CDC966FB-16DA-4D9C-ADAC-78CE6E6EEBF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71643381478db16842aca8a65809169d222f8d61","datavalue":{"value":{"time":"+2015-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452476$39540527-9A53-40D7-BCC5-C5C33CED59A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452476$223A10AD-07DF-48BE-A2E3-413D0848AD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452476$57DB4DFF-ACCF-4017-A3F2-3BCF049136C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"981c45a58b837e837b85593efcc2ec89cacdf674","datavalue":{"value":"6507844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452476$00B85B98-76E3-431E-921E-2552A560EB56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9defd86e87544b062753b4279f7befe16136322d","datavalue":{"value":"ECA rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452476$9CB6A60A-E1F3-4672-9B70-937E2426B508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452476$1FD3EC96-DBC4-4E65-874A-2C157798F3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452476$6870C6DC-A21E-446E-9A61-12834372D9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452476$1DA98B22-2767-4152-B344-A57545202B0F","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":"Q3452476$E8C6AFCC-D173-494C-9B1A-0F4937FCE717","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cd56a5e2534193da1b6a8e364d32d03e667204a","datavalue":{"value":"https://doi.org/10.1007/978-3-662-45730-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452476$D59529DB-A4CF-484D-A9A6-9AA294A190A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe36ea254b5015e327fec9e444bfb758bf13d037","datavalue":{"value":"W61183124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452476$97DBE45A-AA18-46E5-879C-8DFA9EC38FB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$DB2F4FCC-1AEA-4D52-A9FE-BB72C1802FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ffa9af707a9034e194333cec43fea04e458a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$1F6E0854-08A0-49D2-87B3-1027E0F90A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f757500753e059939f578f6160f5717014d75525","datavalue":{"value":{"entity-type":"item","numeric-id":2889608,"id":"Q2889608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$49C8A8FB-F5CD-494C-A2D5-AB5344410A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b512cc997d0d7634c875b9b3894173ce8ba78cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5191595,"id":"Q5191595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$80B30652-948B-4324-919C-283EA0226C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f568d70c4d73f695a2c9cae93b33447dfb81c6","datavalue":{"value":{"entity-type":"item","numeric-id":4946958,"id":"Q4946958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$7E7F046D-F77A-4D18-842E-FEC465E0850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e738d9161d7988159ab2a4dda9148bddd18df77e","datavalue":{"value":{"entity-type":"item","numeric-id":4251540,"id":"Q4251540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$69434F85-DAA8-4B85-8F3C-58F1A0150A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d286fd5d8f50435779ba15323bbb4f299a27a9","datavalue":{"value":{"entity-type":"item","numeric-id":4738633,"id":"Q4738633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$343CAA3C-BAEB-406D-AB20-DC7E8E82B04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0f46665a6405b1a95f9fed4e1208bf6ef261f6","datavalue":{"value":{"entity-type":"item","numeric-id":4790640,"id":"Q4790640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$9EA17E55-A8DB-4493-A858-449A88FBCF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a058a50ea69785dc91421ce4398f086db9133c","datavalue":{"value":{"entity-type":"item","numeric-id":3933750,"id":"Q3933750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$A50D80A6-8A4E-4E7F-95A5-D56F28B1622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3770f901acf6c72161f5babae0ebcf0f0525c","datavalue":{"value":{"entity-type":"item","numeric-id":4438797,"id":"Q4438797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$F3A2C084-CA5C-475E-AF6E-149905927C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100047719ba051c283c85f317d40aebe3e26d6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3648712,"id":"Q3648712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452476$0EA8349D-EDEE-4DE2-B312-6510BC7EC18E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf7e3193d4db2594f2bbe0eb8c70a2d0f54972e","datavalue":{"value":{"entity-type":"item","numeric-id":4790640,"id":"Q4790640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac415e2a1b49561f77bb5bb7d44cebbd34072db","datavalue":{"value":{"amount":"+0.7516326308250427","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":"Q3452476$6203A51C-ACE6-41A0-B658-BA8180B15EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678c922ecbd1462b411846de69c65f484b3d68a8","datavalue":{"value":{"entity-type":"item","numeric-id":4414003,"id":"Q4414003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9803a3bb910d8c56e3e2fb850c62a48d708ea075","datavalue":{"value":{"amount":"+0.7426679134368896","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":"Q3452476$A9464A3C-6746-47DD-80DE-C9F5E6E27F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32289dbbcaa38224500b27fc8aeebd7a5b5abdd3","datavalue":{"value":{"entity-type":"item","numeric-id":2510127,"id":"Q2510127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4015c47bb06d193be3529ec8ee789fe0f23b871","datavalue":{"value":{"amount":"+0.7352463603019714","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":"Q3452476$B2942243-A44A-4666-87FE-C2CE26649BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef1caa3711cedc9c673a2bb656e5fde1bca7866","datavalue":{"value":{"entity-type":"item","numeric-id":4738633,"id":"Q4738633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d091f9fa9bd0c42fef73e285b358186da2a9cbc5","datavalue":{"value":{"amount":"+0.7324338555335999","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":"Q3452476$BBA99957-40E0-46FE-9FF3-F62F9359ACCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39cbd679600e3c30fe603c4718b83e8919419d0","datavalue":{"value":{"entity-type":"item","numeric-id":1400305,"id":"Q1400305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ab366c7eec85ac9f75fb8d58ac8be2d0d3bab1","datavalue":{"value":{"amount":"+0.7308311462402344","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":"Q3452476$FB87B4E2-D678-4A2B-909A-61A756A3DA69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic termination and confluence checking for ECA rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_termination_and_confluence_checking_for_ECA_rules"}}}}}