{"entities":{"Q3522018":{"pageid":5551922,"ns":120,"title":"Item:Q3522018","lastrevid":50438750,"modified":"2026-01-14T01:36:09Z","type":"item","id":"Q3522018","labels":{"en":{"language":"en","value":"Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317331"}},"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":"Q3522018$D7C61603-7E6C-423E-9D17-BA26FF73A453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"067bf57eafd463f97ac205ce4cc4b1de351556c5","datavalue":{"value":{"text":"Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522018$6A3E968D-81FA-454F-9211-4EB17B026811","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99b51afe0ea944fe90e4543145655d6e9bfa8e5f","datavalue":{"value":"1145.68449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522018$82A6A974-A898-4C57-A2FD-E7F4654473A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdcb0957330b1c786369d4903be99182cb1c72ae","datavalue":{"value":"10.1007/978-3-540-70590-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522018$62FC5A14-2584-45EC-9797-5C7DFE405E46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10833516fd2aeb6a59532da014a0063a3cc933ec","datavalue":{"value":{"entity-type":"item","numeric-id":3172892,"id":"Q3172892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$F1E59297-3DE5-4D3F-9904-425D4F73B0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$17C81259-C3F6-42D3-B71D-7D0CC2694007","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$266B0EB8-135D-4A24-9DEE-7E6C29F2646D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522018$EA07A9E4-A204-4B31-9CE9-FC8A141392AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522018$BFFFC28D-A966-4D53-8257-099B9E87D25D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61489f7ed9b09d4783f24df14674f431ac3f4d2b","datavalue":{"value":"5317331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522018$E14826A5-0EC3-44A1-A3F1-1A1D6FC81480","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":"Q3522018$CABED631-D094-413B-B8C1-C9ACD7C1F30C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d117419d6f7968ac575633e5fc8051a5539e5326","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70590-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522018$56F47C4E-6F4A-4309-887A-085D8D823FB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f4bdd28b42881f7fee911b0e6db28be30d2137b","datavalue":{"value":"W1819637175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522018$EF46E7C8-9D0A-4B08-BB44-EEEDBF20B87F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed1ef347d29b8f0be1edd97644c055691282378","datavalue":{"value":{"entity-type":"item","numeric-id":5055805,"id":"Q5055805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$E515452B-A649-49C5-9F21-6145566FBBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d777c8f3869fd6e45c1229fa3cd33c422ea5d099","datavalue":{"value":{"entity-type":"item","numeric-id":4705604,"id":"Q4705604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$37E967B4-759C-4981-9051-08662F6B82F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960617989f0d51849d065bd11fb85bcda82bf7df","datavalue":{"value":{"entity-type":"item","numeric-id":5432336,"id":"Q5432336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$DD3F5BA9-8252-434E-83BE-53A969CD2DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37dfc15837f84de69d2923418bbe22eb2d64a913","datavalue":{"value":{"entity-type":"item","numeric-id":4847003,"id":"Q4847003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$3BD7D503-12EC-4B64-B6E9-F0DE5B17FC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75609fb90ea800d27d0fc4f87283eb79e260d25","datavalue":{"value":{"entity-type":"item","numeric-id":5432341,"id":"Q5432341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$548EF571-BB33-4E62-9329-E05EEA57FE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1598b42a0d0cd302314d6453395cf6853afd54f9","datavalue":{"value":{"entity-type":"item","numeric-id":5055873,"id":"Q5055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$475E2744-2564-468E-BBD6-01EE7C884A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926e1c124ce65acb98298900b42930980762fc43","datavalue":{"value":{"entity-type":"item","numeric-id":1014436,"id":"Q1014436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$05941E9A-6A00-4AC4-8D65-A75604E4DE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$592D7667-9813-4E35-A009-5D8B710B80E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6ebe546bb22deea94d20817802960459c534e8","datavalue":{"value":{"entity-type":"item","numeric-id":5302902,"id":"Q5302902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$C93E2F57-A155-455B-BBA4-1DEFAD66DFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5865e09385433fcc7bfadc64d2a2f060d420aae","datavalue":{"value":{"entity-type":"item","numeric-id":4938609,"id":"Q4938609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$563C9AF9-8B38-4634-A60D-DB1A2688AD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522018$8EF7A77F-06BF-4A64-AB29-68A089837336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa28e625a1f3bc443ed4c4088b7925194ad62aa","datavalue":{"value":{"entity-type":"item","numeric-id":5432341,"id":"Q5432341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3001cfcb021b52c0a5b57ada5f5b3d4250504e","datavalue":{"value":{"amount":"+0.8913981914520264","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":"Q3522018$471DE60F-41CF-4750-B9FC-B365DE6DD3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab7e6c86b9d582d825b2de7964e5957f7abda92","datavalue":{"value":{"entity-type":"item","numeric-id":2873675,"id":"Q2873675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdaf297e3b3f39ec95c65fdbdb3305650862d62","datavalue":{"value":{"amount":"+0.8077055811882019","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":"Q3522018$E998A086-F6E2-48E6-A4E4-2CE94B7310D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b91831c7d4052e98f092129f0775168916802cb","datavalue":{"value":{"entity-type":"item","numeric-id":3780429,"id":"Q3780429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17835ac97e95a2046f27e159f87028308a7df21","datavalue":{"value":{"amount":"+0.7997848987579346","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":"Q3522018$F1CAFEB4-A613-460E-9BB8-F9604D1D249F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"864b7f7bf650ef05eb7243b8bc84b176bb85ce98","datavalue":{"value":{"entity-type":"item","numeric-id":4938609,"id":"Q4938609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2e2c27d1248dfa71e9e868ce9015b57d8f7cb3","datavalue":{"value":{"amount":"+0.7941463589668274","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":"Q3522018$1CC8DED1-65E9-4F69-A238-05B180026D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f8094e792cfb2a3f64409ed95b797e54c5bea9","datavalue":{"value":{"entity-type":"item","numeric-id":1325846,"id":"Q1325846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778ed50d27648d965506989944ea96051adc79ce","datavalue":{"value":{"amount":"+0.7931845784187317","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":"Q3522018$B1BF0B4A-D744-49D2-A49A-122B29B06586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522018"}}}}}