{"entities":{"Q5458432":{"pageid":7487991,"ns":120,"title":"Item:Q5458432","lastrevid":50334089,"modified":"2026-01-13T20:28:35Z","type":"item","id":"Q5458432","labels":{"en":{"language":"en","value":"Termination of Narrowing in Left-Linear Constructor Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262484"}},"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":"Q5458432$7DF07159-3936-42DC-9323-DFD2E09011C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"598173c273e60be8e17c66701f790bf6ab1eeb72","datavalue":{"value":{"text":"Termination of Narrowing in Left-Linear Constructor Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458432$3F3EB7D4-C9C1-433E-9EF3-B876709371D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"009f9d420f21eebd660d0963ec6eda9dacca9a42","datavalue":{"value":"1137.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458432$B12051A0-FB39-4629-AD39-D7D8E1286F3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02b9874fedc7bba0ccb74450e195dd74d79b67a1","datavalue":{"value":"10.1007/978-3-540-78969-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458432$6363C21B-FA16-4EC6-9B83-8A0F8F79BC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$BC8D89D4-0431-4AFC-9CFB-D633B0384332","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$01F40F44-9C7A-4C90-865E-EE5ECAB34834","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458432$7CCFC7A8-D344-47A8-999E-2EF4316F2504","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458432$BF2BB55B-7F12-4195-B120-A7B549B4A62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458432$33A23F05-74AB-44F7-AF77-5B80BE0C0D5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e9171dd133a635f5800f6ddb59088e67e67cd1","datavalue":{"value":"5262484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458432$3DED187B-B962-42DE-A99A-E8BEB6B53A02","rank":"normal"}],"P1463":[{"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":"Q5458432$8FB83D36-3384-4BD7-AF58-890C371FE4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32dae26506ed7b7d490e6f4de337f1bbf687f144","datavalue":{"value":{"entity-type":"item","numeric-id":15552,"id":"Q15552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$5507DCF4-3B22-47BB-AEB3-2C4B6819BAF2","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":"Q5458432$34D28BFC-985F-4CD2-BE58-99396C4D2265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9a6ac6e8e71c741bedba101e8961d00c04af14e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78969-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458432$9299AC46-1ECD-4640-A656-DEB7D9542EB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f12cce0c0159f21ad2ebfc61f35b69146485e573","datavalue":{"value":"W4235424726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458432$9A7A9F0F-CE7C-453E-B1EF-0BB62AE2BF24","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":"Q5458432$67A6E7E2-9103-4672-B8CC-EABB687F670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c6e7e80b07a37575fbc8d1ac7520b8e7e0ac6a","datavalue":{"value":{"entity-type":"item","numeric-id":4281615,"id":"Q4281615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$3ED4CBB2-E915-4B00-888B-96BE2D9F5093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98271371a73cd751708bcec7e68493904350d8","datavalue":{"value":{"entity-type":"item","numeric-id":4364366,"id":"Q4364366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$F27FF8A7-9889-46C1-A0BF-1C87BEC608A2","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":"Q5458432$275765AF-E7B0-42C5-8B72-D8A86703FB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8617cf518cc64e76f33a1721308a47d5d3d336","datavalue":{"value":{"entity-type":"item","numeric-id":5449594,"id":"Q5449594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$2D0EDC89-3A6D-4E52-8869-555D28F751ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5dbb887bf0ae818f0b745d0d082dabb69d5f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3591075,"id":"Q3591075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$6327E316-9B7D-4EFE-9F81-F64B80659074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$0668D347-4707-4922-8EC7-E7B6FB81DF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ce0aa6eac29dc9bd7124592c7a06e0d61a021e","datavalue":{"value":{"entity-type":"item","numeric-id":5055753,"id":"Q5055753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$3B494884-0FF9-4A1F-885D-6B4699966B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57c4efc1285a87ab31e6edebebca84674969ed","datavalue":{"value":{"entity-type":"item","numeric-id":2867956,"id":"Q2867956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$17A5E2EA-644E-4370-90AA-9973E4DFE24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$B1E75599-1C78-4228-9510-C152AD2F5619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247970768287c87e9f32f6c332759567139e2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4916076,"id":"Q4916076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$0A93A045-DAE6-40E1-BC70-052AEE516E43","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":"Q5458432$8880D283-9ACD-47CB-99DC-C1BF6CE21194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c884171bba72c2b3f8a55330fd6748a3e548c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5432339,"id":"Q5432339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$3076FAA9-8714-4B85-8C15-4CC4CFA8E278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd24b6b06ed42024ab5f880502e2b6fa9efdbb4","datavalue":{"value":{"entity-type":"item","numeric-id":2723429,"id":"Q2723429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$6942EBC9-4D61-432E-8168-78374FC700FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$0EDA1BF5-112D-4208-B0F3-F90AB323CA22","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":"Q5458432$C85CBD20-C221-4AF1-93A8-678722CAB42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$CE564615-28E8-4CA7-B3AE-C97917837FCE","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":"Q5458432$2CB72332-7F2D-4EE3-B97E-E6ED9C87D1F1","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":"Q5458432$BB6948D5-8189-46D2-BD6C-138D173CE68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$CBC59DB8-1041-4316-A0E9-005FBD4E3B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6fb75d437faf494d7b5091162dbc4bb8963e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2849863,"id":"Q2849863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$21BF8B28-05B5-498B-B86C-0E78D466AA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c227ac230a0f905f4c71765618b0a06bea387adb","datavalue":{"value":{"entity-type":"item","numeric-id":5096203,"id":"Q5096203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$D11C723A-07EE-4A1F-9B96-85C0DD3365FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ad8f68d17dd9acf9dbe34758361e759293799d","datavalue":{"value":{"entity-type":"item","numeric-id":2844056,"id":"Q2844056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$D43BC2A6-D517-4914-9EF2-F5F68CCDB0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95485102ee6530ceab9827faad9827664e5dd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2936786,"id":"Q2936786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$A3C259EB-24A5-4140-8ACE-13C793C1E826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e7025b242d2e0b571a0a74c4db8bdb30375fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$2D3860B0-8493-464A-B46A-09CAACE22630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9e65ca5358a59396b03579b2007c0d9b7832de","datavalue":{"value":{"entity-type":"item","numeric-id":2866338,"id":"Q2866338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$9C217742-68F9-40D4-84FA-AE912DD324EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$B6FF5344-03C0-413E-82BF-3EB2C7E894F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39e1d1bc01a1d7bf0681658cb62b27c35153208","datavalue":{"value":{"entity-type":"item","numeric-id":5458432,"id":"Q5458432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458432$0D2C0414-3855-4991-9A29-BB6840EA0D0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654b4130d3ca48fa9f14a0aab05b24a2d789e887","datavalue":{"value":{"entity-type":"item","numeric-id":969619,"id":"Q969619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559e55f9f5466165bfcceca4a25d420af25145fb","datavalue":{"value":{"amount":"+0.9709264039993286","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":"Q5458432$CE7CD017-C084-4555-9472-857DE63CCF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0993e7fd0fa3566044cc6678ed41859d5ce0ed6f","datavalue":{"value":{"entity-type":"item","numeric-id":1035697,"id":"Q1035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d40df1930e2424b0951cea23b07235331574030","datavalue":{"value":{"amount":"+0.8465031385421753","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":"Q5458432$6B4B193E-06C7-465A-B96B-C1E2F60536F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c445258b911802bb3431fbaf0b8b45ce915f165","datavalue":{"value":{"entity-type":"item","numeric-id":2873786,"id":"Q2873786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda6ecd06bd70d9f7afc4ac60fd340bcf1e9a7a4","datavalue":{"value":{"amount":"+0.8281205296516418","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":"Q5458432$465244E8-1AFC-440F-972D-2C48B26B8755","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":"8c250a0b540645c8aa448365d33ff9a85b155a64","datavalue":{"value":{"amount":"+0.8278988003730774","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":"Q5458432$D1BFBFBE-1D56-4DD7-BF14-972FFF4A0CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4682fbafe10874c7e5a75566188c1bf3354ace5","datavalue":{"value":{"entity-type":"item","numeric-id":3558285,"id":"Q3558285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9a388a47b5d8930744ed565fd0c087d0bcbe48","datavalue":{"value":{"amount":"+0.8108325600624084","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":"Q5458432$93007607-B136-4444-B951-F37A4E68F02E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458432"}}}}}