{"entities":{"Q2873786":{"pageid":2884506,"ns":120,"title":"Item:Q2873786","lastrevid":51912815,"modified":"2026-01-20T12:54:48Z","type":"item","id":"Q2873786","labels":{"en":{"language":"en","value":"Narrowing and rewriting logic: from foundations to applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250540"}},"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":"Q2873786$358E86C3-40ED-4D23-B0D1-216FE6C3A50C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea28369969201f2bd78adf580a3c4f4412d20061","datavalue":{"value":"1279.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873786$E2647A6D-630A-455A-AC1E-7B2F65EA1D51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$B14D7CF0-5C98-4D56-91C3-829C88521A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$53139706-B72B-40A8-AB24-ACB052A73287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a21a699a0a68aecb14fb3639a56cdde4b7cfada","datavalue":{"value":{"entity-type":"item","numeric-id":860884,"id":"Q860884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$F17EDD12-40F8-4773-8DEC-BD1EA96A02A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$5CEC83C6-CA39-4DC9-B677-E29736DE40F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873786$F1425690-B7B9-4AA8-8A65-18D1343FC669","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873786$1ADB6C8C-8651-41D0-BE50-EA4578081344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873786$01FEE524-5A41-45DB-9C70-740CA1D6E1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873786$EE7DFFE1-9B88-4278-8266-92B0708815B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64e361daa0202e7d390a5f6992db7cf22206d017","datavalue":{"value":"6250540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873786$23DA25F3-A9E0-43FB-B7C0-5BF3389D9CC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873786$7D1F793F-FA66-4EFB-ACB0-7033050691C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873786$53262BBE-D7F4-47BC-8D7E-FB4C3EDE46EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873786$9C538222-EFF1-44D9-A594-27930BCEAD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873786$60966C9C-08DD-4171-87AB-7537EC1A9C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873786$16F36DFF-B6F2-466B-9F5F-3CB58C744EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873786$0CDF113B-39D1-4F02-9C08-21E4EAC0592C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$0675A97D-8EE9-492E-971E-1A530B44B0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$71F0F1E5-BC53-4C14-B886-421812A2C108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$03553A83-2274-4B89-9BA8-9409529CE705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$712738FC-6A49-44C1-B038-65EB2E91AED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$3184CE09-50CD-400B-973E-AA5E5906EBAD","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":"Q2873786$339B6DDF-981F-4D74-B571-7193471EDFF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e2b154701a1f156c18041e53b3fc02c9916ec2b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873786$AB6065E6-C3CF-47D2-A048-AED5B08DA3D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08f911f7c8c8945615b9969a3d8d5a0a7acf90fb","datavalue":{"value":"W2156318632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873786$930A2CDD-3ED0-4E23-9120-B378C3AAF016","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"657027be469db18e4d5129ac2351e8c978dd911d","datavalue":{"value":{"entity-type":"item","numeric-id":5957056,"id":"Q5957056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$0925D67D-8799-457F-80DE-73FCC9A7ADED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442105a149ceb60d57778ffcb587483b71fe451e","datavalue":{"value":{"entity-type":"item","numeric-id":3370571,"id":"Q3370571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$F484FD8F-BBA2-4DDE-826D-5EA7EA86E010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$44950A8E-6468-419F-9938-2036BBBE3610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8364c618ad76db52057e29b74d52fa66ec4e18c2","datavalue":{"value":{"entity-type":"item","numeric-id":4251060,"id":"Q4251060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$ED321AD1-EF4E-43D9-8CAE-46142A86BD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$DE3A15A2-E264-4431-8574-0BC9C9E106AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$88413246-BAC1-4666-A0B5-64A2EEC8AAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1272332821781f00780d9c30b66a912b70f4d17","datavalue":{"value":{"entity-type":"item","numeric-id":1854350,"id":"Q1854350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$4FECE7CB-0884-4F9D-8BAA-2706D417618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0705daecc5ffa3855114e3599480f53a82f40e64","datavalue":{"value":{"entity-type":"item","numeric-id":4939538,"id":"Q4939538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$2793E942-D6A3-408D-A555-50362C0942CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$978B64E8-A5CB-49A5-84C4-79C2B3EB2364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$D80B43A4-F7A0-4A49-89C8-AF420DAFC319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a250a1d3c58e08ceedf1e2eee631a8149bb5730","datavalue":{"value":{"entity-type":"item","numeric-id":5308019,"id":"Q5308019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$225A127B-2EFF-43DA-80E8-91925FA4B29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6faf23ae58f0d008eb59c8c3066e56d64ed7b45","datavalue":{"value":{"entity-type":"item","numeric-id":860906,"id":"Q860906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$AB28ABEC-1129-41BA-BD3C-53C65A5C8BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fffc04d48fd4ea431cd5595724ca58d513399c","datavalue":{"value":{"entity-type":"item","numeric-id":5703856,"id":"Q5703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$9BD1FC00-944A-4A85-A337-89BDC6AA972A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$35F95F3A-D780-4818-9938-C6A83884C346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a76dd1ccc57817977cfe3d7392b99ece204fbd","datavalue":{"value":{"entity-type":"item","numeric-id":2996202,"id":"Q2996202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$562AF14E-B7DC-4A1D-981B-619CE9E4113A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$E7136E97-C14D-443B-B6B9-2801AC35C747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$46C57DB4-37F1-4495-948A-81BD46DF6C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$97C7E9C2-2B49-4499-8F91-10991C6D9A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$1E8303C2-944D-4BE8-B92B-3C8E4F3C19F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$89F38803-87A0-45E8-9288-D966F955BA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f497a094cae9f220fe8ee16ff975c47f7e7dca6a","datavalue":{"value":{"entity-type":"item","numeric-id":3664457,"id":"Q3664457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$DCAAE8AD-D87D-4AE8-AAE6-F6E861CC2205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf0e7549abbeaeb4c770d7e9f8179e576dc25d3","datavalue":{"value":{"entity-type":"item","numeric-id":1856157,"id":"Q1856157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$F6B05692-8ADB-41D8-BD6F-EFA847A7A541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$34147B43-8AAF-427E-A70A-30E7C06B9C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$330DCE44-71F5-4563-8231-B777827C798C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$D58A7A79-A104-463D-B80C-B59FB7F249FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$875BD4BB-9000-4C9B-A68B-5E603085C532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$B749FD53-11D2-405A-932E-91DA0B33975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68c3826d8a9f725fb388c85c09c5d9fff8c1cd1","datavalue":{"value":{"entity-type":"item","numeric-id":3046721,"id":"Q3046721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$7CEEE9C1-2D1F-4370-AA2E-14AF09841B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$8957A35A-67EB-46DF-9BF1-45F7DEA80E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$79108FFE-AC74-45BA-8858-8F9EFB3B188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9316d9136544b03dca7f1ef0d69632e0b15be3d","datavalue":{"value":{"entity-type":"item","numeric-id":4447253,"id":"Q4447253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$EEA605ED-AF4A-4BCD-9C35-82491B4DF34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$415CF0DA-A53B-4E71-95B1-441E9915E889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1e88c59e967c9d93293a22c53fd0e4784e564d","datavalue":{"value":{"entity-type":"item","numeric-id":4818812,"id":"Q4818812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$8CFA88A0-D093-4644-9BE2-9AEC0BD1AC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa703a3567d0034a8a5c9d58b556309ae4271aa","datavalue":{"value":{"entity-type":"item","numeric-id":689097,"id":"Q689097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$706482DC-A086-49F2-B525-05401B3C6816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5700bddd5b497615cb8c41e6f2bbf5fb3735905","datavalue":{"value":{"entity-type":"item","numeric-id":4339016,"id":"Q4339016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$60BB7B52-C59C-4C24-9A1B-463B7FD98BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$CA654898-81E3-4511-ADC7-46AA9A43C1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05691a6f88eddda61756188d2d28bc57b51655b","datavalue":{"value":{"entity-type":"item","numeric-id":860885,"id":"Q860885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$F2EF44BE-7BC1-469A-98B9-CD89F0CE6E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7559e56364f76c6325ee782673be1e93ad89b5f6","datavalue":{"value":{"entity-type":"item","numeric-id":3713574,"id":"Q3713574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$D9A54283-BDA0-4484-B7A9-9DA837D7EC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$7A65C797-B094-4072-AC81-C86A8A942A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873786$7B3BDEB2-2AFA-46E4-A6FC-CDBA2B88F26B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9133f2a9d4409353e80d7c28e76ea80b442ed410","datavalue":{"value":"10.1016/J.ENTCS.2007.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873786$119AC28D-104B-4B94-9056-E795CA53444E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b35d4d0fb39832e89ff6fee6e20e7a50e090a146","datavalue":{"value":{"text":"Narrowing and rewriting logic: from foundations to applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873786$D3256F4D-9FE8-4898-A0D1-FEF099D74A82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14bed56fce598d9e2fe50562a8a00dc0417f672","datavalue":{"value":{"entity-type":"item","numeric-id":2849863,"id":"Q2849863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a62d48d346a8e1c32367d964bb638b0658c1bc","datavalue":{"value":{"amount":"+0.8780263066291809","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":"Q2873786$3008495F-A497-44EF-9114-41D0937D43B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9153dc947fe448f781510dde0c48ae2bd944238","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446059dfc34a3131b695ff48a6acfd4f5dc89f36","datavalue":{"value":{"amount":"+0.8752739429473877","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":"Q2873786$0062683C-7B00-49E4-97BF-E571E9065212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18232826ca113b0e1b038f48f7e5b5851600007","datavalue":{"value":{"entity-type":"item","numeric-id":2915104,"id":"Q2915104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4c034c0acb77d38c642fae9467f0f70de6a1ef","datavalue":{"value":{"amount":"+0.8497300148010254","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":"Q2873786$70FBCCDB-C88C-43D9-AF93-622680B09FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c92ae53005a5d61974c6566ef8b91007845e730","datavalue":{"value":{"entity-type":"item","numeric-id":5179131,"id":"Q5179131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81519a57b95d6d14d306b33abb732e406140d8c0","datavalue":{"value":{"amount":"+0.8496766686439514","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":"Q2873786$9E7FBF8B-3E75-4CBB-A5CD-7626B9343B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa5092fa0836aff29b2fc32c3202df39fa0fc65","datavalue":{"value":{"entity-type":"item","numeric-id":1261194,"id":"Q1261194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bc1bff0ce3b4e10d6d17b8eb42eb418613640d","datavalue":{"value":{"amount":"+0.834035336971283","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":"Q2873786$77664204-A849-4E23-A894-88C0B891B1F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873786"}}}}}