{"entities":{"Q3557094":{"pageid":5586998,"ns":120,"title":"Item:Q3557094","lastrevid":80712254,"modified":"2026-05-06T16:49:47Z","type":"item","id":"Q3557094","labels":{"en":{"language":"en","value":"Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702268"}},"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":"Q3557094$7F8414AC-C406-48BE-AE25-4802220A7FB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4be13eca564eaf940f2b10d1a5568acc1c8690b0","datavalue":{"value":{"text":"Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557094$9E87CC42-45AC-4302-87F9-1FB7E21D19CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b1f19fc6c55b7345d64bcef2d13e37f8562fa98","datavalue":{"value":"1274.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557094$B392156A-3DD7-4F71-A0F8-764F5677A33E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"948e23594d112ca8e6666ab7c706f6686b93550d","datavalue":{"value":"10.1007/978-3-642-11999-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557094$1310A60B-D4CE-44FB-A12D-517B21730160","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4884ea388d9a1b061adeca7a34ce809061266cfb","datavalue":{"value":{"entity-type":"item","numeric-id":877835,"id":"Q877835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557094$031A43D5-7D59-4556-AD9C-7C5C36A0F0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557094$1B12FE9C-D1C5-4E20-80CA-D707023CC6FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2be33655de324dde0358c2fdcfaa54a9a81e5777","datavalue":{"value":{"entity-type":"item","numeric-id":3003510,"id":"Q3003510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557094$9522BC0C-E191-4E9E-8071-E7758AD1EF14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557094$C53FA447-9705-4C1F-A7DF-6C766118FB69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557094$E991A2CA-C6FC-428F-A451-E61340180872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557094$A95B03BD-53C7-4AF1-880F-D2EAFEED22D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56fe27ebed3a2cbe42ce55491ad3d05427de28e9","datavalue":{"value":"5702268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557094$E91D083F-B38C-4FC6-B786-2F5763FCA916","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557094$7931DCCF-4E60-4A78-AAFC-4CC50B932603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557094$59F0C7FA-E7BF-4080-9925-C8520039C02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557094$40749DBC-AF85-4F91-9053-FBB769372819","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":"Q3557094$4EDCB21A-E3C4-4573-857D-28C6C3C1A5A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53efa10008f507f5a9432745adeffcbe7cd8e515","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11999-6_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557094$56EFB0BD-3C95-457F-88FC-AB1D6675EBAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"484dc16d53fb71472af12964da1fa97c126f20af","datavalue":{"value":"W1567063112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557094$E1CD74F7-244B-446F-A07F-36352BF255E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5eb765cc31d78a39b75aa20f5b4e86f40e0fc4","datavalue":{"value":{"entity-type":"item","numeric-id":5170162,"id":"Q5170162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d412492764626114c974e6ebbd6b71c4b76b014","datavalue":{"value":{"amount":"+0.91400814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$5DA58EA8-BC42-4E13-B938-1142EA92FD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57349622a6ff30c62c26a387e36d5fd204e2e66b","datavalue":{"value":{"entity-type":"item","numeric-id":4818829,"id":"Q4818829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9160cd30654b2bca50bc1a06769724f25add83f","datavalue":{"value":{"amount":"+0.8972616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$3B6B5217-EACE-438A-837A-D43A15618806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b049fb018ef319099e90e1d308a5e97b221d9078","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175b0699e518fce83e6d86ad0c56fc2b6b6287bd","datavalue":{"value":{"amount":"+0.8844574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$4D106A69-E0C9-4C48-8AF0-AB3E6AEE9222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d45195da3612f70e54ae2b0f66105c6ad766b0","datavalue":{"value":{"entity-type":"item","numeric-id":4808754,"id":"Q4808754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b468d7fc48cc4ec39c4b08ec27a81028537d0b9","datavalue":{"value":{"amount":"+0.8818221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$150A5657-D9B0-4B6B-B23B-0D840359D178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aece81f3b6dc7a3878ad3fa68414954b3fc66b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3525002,"id":"Q3525002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09a4b7c53303df3bf4840f339137fcef7dacbe5","datavalue":{"value":{"amount":"+0.8799251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$AA6E20EA-8661-4672-9D44-2C0C192BE676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec428f6c02c581631d9976c7e92704bfb5863fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3522011,"id":"Q3522011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5dc7128547e084acb96c7604e9d4ba5bc3946f8","datavalue":{"value":{"amount":"+0.8777202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$71F5E1DB-5084-4AFE-924A-17BDC09E4BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19212de72591fe548066e57870061bb9cc748f9d","datavalue":{"value":{"entity-type":"item","numeric-id":4412115,"id":"Q4412115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c21fca5f0d4b998f465e819548cb621d8ad4b2","datavalue":{"value":{"amount":"+0.8735002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$74C916FE-5F06-4009-A4C5-55B1673A7E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b93737dd207056426cade4e5dba1254ba6edf5","datavalue":{"value":{"entity-type":"item","numeric-id":4457836,"id":"Q4457836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5103c49785379aa9ff273269b60de757e724ed6f","datavalue":{"value":{"amount":"+0.86894166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$12E8F208-485A-4412-B932-8DEB0D0DE999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782b4492517d372ecd3558457dd5bd829a4a79f6","datavalue":{"value":{"entity-type":"item","numeric-id":2043816,"id":"Q2043816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef673ec2ed7e95de7828fdad9c289fbece4ebff0","datavalue":{"value":{"amount":"+0.8606583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$D96C9CB4-3643-4773-97EC-746F69C56E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9eb521e6c9322a030fb5d1d91b6b79aeab2cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2808236,"id":"Q2808236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f8c447e7c4807eb0764312754ccaba0bdd51fb","datavalue":{"value":{"amount":"+0.8558492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3557094$F32A5AFF-F2AE-46C7-91A3-56A200589F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_of_Context-Sensitive_Rewriting_with_Built-In_Numbers_and_Collection_Data_Structures"}}}}}