{"entities":{"Q2643337":{"pageid":2654080,"ns":120,"title":"Item:Q2643337","lastrevid":57971061,"modified":"2026-04-03T07:12:07Z","type":"item","id":"Q2643337","labels":{"en":{"language":"en","value":"A logic of reachable patterns in linked data-structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182401"}},"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":"Q2643337$BBF258D8-2E7C-434F-A576-D3E3C2EB1729","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e84f6951e0e48b0bf64d3b24ffea385a2ff5b9e","datavalue":{"value":{"text":"A logic of reachable patterns in linked data-structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643337$2F5AC9EF-D186-4709-84C9-F83ECFE0C352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cc750738dd8a2fe79783b7cfe605cfe77a650be","datavalue":{"value":"1121.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$5353DA3B-4F2C-4A2C-A544-E046395F06E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8dcba1a85b5ac0deee4d501754b8864049a4eff","datavalue":{"value":{"entity-type":"item","numeric-id":2643336,"id":"Q2643336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$8A017AB7-B425-4904-A92C-8B9FE7DFFE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$1204FE53-8BCC-44A0-BE02-8B393C367606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$1B7EB061-3905-4FB4-9236-D89F0C32C48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41503b24a2c37445acb5c2a0bf99fc7ad4d9d0ee","datavalue":{"value":{"entity-type":"item","numeric-id":852010,"id":"Q852010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$7D44B619-1D24-44D6-B303-DFE5876580E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$8FDBEB6E-CCFF-4FEE-98E1-112D7833F09C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$CAA4133F-DEE2-4D80-BDEF-E81CB1CEAC61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643337$235C1DD2-A47D-40B3-BEEF-1E70CA693BFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef09a87b0ef14536a2b0c4f44098d2304bb45874","datavalue":{"value":"https://arxiv.org/abs/0705.3610","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643337$85028FC5-9DDB-4BAA-9ED1-6E5CD41C7111","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec2e626faf4b98a925c5ae9f61e92208d832f67c","datavalue":{"value":"A formalism based on the first-order logic over finite graphs with transitive closures is offered for verification of programs with dynamic memory allocation and pointer manipulation. The vocabulary is \\(\\tau={(C,U,F)}\\), where \\(C\\) is a finite set of constant symbols for designated objects in the heap, pointed to by program variables; \\(U\\) is a set of unary relation symbols for properties, e.g., the color of a node in a Red-Black tree; \\(F\\) is a finite set of binary relation symbols for pointer fields. For instance, there can be described a doubly-linked list with forward pointer \\(f\\) and backward pointer \\(b\\), pointed to by a program variable \\(x\\), using the vocabulary with \\(C=\\{x\\}\\), \\(U=\\{\\dots \\}\\), \\(F=\\{f,b\\}\\). There can be described a Red-Black tree pointer by a program variable \\textit{root} using the vocabulary with \\(C= \\{\\text{\\textit{root}}\\}\\), \\({U}= \\{\\text{red},\\text{black}\\}\\), \\(F=\\{\\text{right},\\text{left}\\}\\). A term \\(t\\) is either a variable or a constant. An atomic formula is an equality \\(t=t'\\), a monadic formula \\(u(t)\\) for \\(u\\in U\\), or an edge formula \\({t\\overrightarrow{f}t'}\\) for some \\(f\\in F\\). A quantifier-free formula \\(\\psi (v_{0},\\dots,v_{n})\\) over \\(\\tau\\) with variables \\(v_{0},\\dots,v_{n}\\) is an arbitrary Boolean combination of atomic formulas. A neighbourhood formula \\(N(v_{0},\\dots,v_{n})\\) is a conjunction of edge formulas of the form \\(v\\overrightarrow{f}v'\\), where \\(f\\in F\\), \\(v'\\in \\{v_{0},\\dots,v_{n}\\}\\), and also monadic formulas and their negations. A reachability constraint is a closed formula of the form \\(\\forall v_{0},\\dots,v_{n}\\) \\(R(c,\\dots,v_{0})\\Rightarrow (N(v_{0},\\dots,v_{n}) \\Rightarrow \\psi (v_{0},\\dots,v_{n}))\\), where \\(R\\) is a routing expression and the conclusion of this formula defines a pattern denoted by \\(p(v_{0})\\). An \\(\\mathcal{L}_{0}\\) formula is a Boolean combination of reachability constraints. \\(\\mathcal{L}_{0}\\) formulas are interpreted over labeled directed graphs which can be given as finite automata or as regular expressions. The validity problem of \\(\\mathcal{L}_{0}\\) formulas is proved as algorithmically undecidable. Decidable fragments \\(\\mathcal{L}_{1}\\), \\(\\mathcal{L}_{2}\\), \\(\\mathcal{L}_{3}\\) of \\(\\mathcal{L}_{0}\\) are constructed which turned out to be useful for program verification in several interesting cases of verification. Pre-conditions, post-conditions, loop invariants, disjointness of data structures, low-level heap mutations, and an arbitrary number of pointer fields for some interesting programs are expressible in the offered decidable logics, which therefore can be used for automatically proving partial correctness of programs performing low-level heap mutations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643337$9591644F-587D-4658-BC5F-A674123FA5CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$F13CE644-2727-4AE2-9488-585065076E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$86A23315-14C0-4D1C-A02F-690B1D6D45F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$AE696CB5-E594-482A-855D-45A94961A13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$7CE06FE9-8875-4C1D-A170-55E112BBC0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$95FD41DA-E44E-4357-8E18-B3BE8CAA69F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$70D44E02-5A65-4A16-B0CA-7459DB3EE8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$87914E8E-2DE1-41CA-B4C6-07AA5221EF0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ab6bed6bdb89ffacca36c31855ffb412f2940e4","datavalue":{"value":"5182401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$6F070907-81AC-43CD-BE8C-071E9484A608","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643337$2A8BD63A-7B0D-4E2E-B217-8E67C282D985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643337$E97A6465-4E0B-45C9-B87B-410BE2046D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7342c4b0f05c319c8d29a686d5d62677271e5011","datavalue":{"value":"heap-manipulating programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643337$037292A4-6F9D-46FE-A6F0-42B90DB988C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71e5eaedea11fb5c237ada352e2f3cacd93d335b","datavalue":{"value":"decidable logic with reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643337$A7110C70-A47A-40DA-AD1E-CC3755723C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99210eddd7691cd43a0ea8053ce045c456ef6282","datavalue":{"value":"routing expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643337$ED47FD7B-122F-40A1-AFC3-E801F82B6D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a650f15583af62d1827b2ebb16e134294cf5840","datavalue":{"value":"pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643337$CED28F55-9984-4AA8-855A-898B99E01444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9063811214387cddeeab94fe1248aed0b7d676d6","datavalue":{"value":"transitive closure logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643337$7EADDF6C-F8A6-4D68-8499-D7E419CC146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b1851198cc503f0984e29dba5bb08481966fe3d","datavalue":{"value":"weak monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643337$563A24B9-7EB3-4C25-A238-5A75A387BE23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$658B55E1-975C-4CE8-A688-5848C58D5A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$C422C30D-9F06-4A85-809C-D1170CC74AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b10831b25b2756323f1e155a6277b60592e8908","datavalue":{"value":{"entity-type":"item","numeric-id":21857,"id":"Q21857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$2AF8FD2E-7B83-403B-9835-81CED66E0375","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":"Q2643337$B0E97A6C-B7DF-4DF6-9C67-A9F3C29937EE","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":"Q2643337$4A1F8C57-F452-456A-B82A-17FB6968C907","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8a7a9bba332e52d4bcc0e78f622cec2bb3a2b0e","datavalue":{"value":"W1975156572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$E79B6C93-D5E0-4C8B-AF07-4F7C392A6787","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$42149C0B-66DE-4D1E-BECF-74687EF99B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be17e3e16f8de4b41a5e87255873ed44ec5fd55e","datavalue":{"value":{"entity-type":"item","numeric-id":3361904,"id":"Q3361904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$F8BB7DAA-3DA2-4396-9BA1-37F6C8988297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564cac3cecae500a03fe5c95804baa48e6236dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$15C1C8A0-115D-4B36-811C-B401BEB34B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$FAC0F103-8F1E-4222-9B5E-CA5769BA47A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44361aa981ec66b9df63303ea04b64f22d6e6e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4708908,"id":"Q4708908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$E6B50128-DF6A-45FE-90D4-489F27815729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdfedaed3c58f4d69185afb03d640d09b582d7d","datavalue":{"value":{"entity-type":"item","numeric-id":814615,"id":"Q814615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$D07F072A-1AFB-434A-8B90-050C461A9F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dc6e57666b405edcb89a9b298632ab270537f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$BEF3B775-AC70-4B15-8CEC-6EF8184B0CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da9f735f04a2a54114278ccdc0fd2a929ac4b83","datavalue":{"value":{"entity-type":"item","numeric-id":5466571,"id":"Q5466571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$CF51B787-E3FD-46A9-A435-DD723A1A6FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110e04d4625ac7707eb0d6fa980c0954dd5abff2","datavalue":{"value":{"entity-type":"item","numeric-id":5705900,"id":"Q5705900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$EDB0F28D-F109-4589-9030-E854CF82C9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$6B2BCE33-1FFF-4D06-AE00-D044A3EEC703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0c517836cf032c1bf576504acdb0ab7ca579ec","datavalue":{"value":{"entity-type":"item","numeric-id":3470112,"id":"Q3470112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$12656D52-CB8E-47DF-865D-1F685832B852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db49dc2d823334d7863c8812e07ae2a69426f27b","datavalue":{"value":{"entity-type":"item","numeric-id":4507228,"id":"Q4507228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$A10DF6FA-57C8-4D0E-97B8-E1EA0E8380E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$708000BB-B6DC-4E1C-A74F-3297668BE5E1","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":"Q2643337$19901025-0F8D-4E94-A8FD-CE5A8CF37C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1317930ad4511f31a70df55a9be0c9b246b4ba98","datavalue":{"value":{"entity-type":"item","numeric-id":1853504,"id":"Q1853504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$926B250E-E296-4C58-84AC-C36D904AD7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceee423f2871a02f0107d5afca7ea76f0467e56a","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$22A0A94D-F35A-4310-A236-71B8CFA8637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8528e1f4f082d8f3a7c4c87b3334f87e15a45ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4055171,"id":"Q4055171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$E5FF9A01-F1B6-489A-B303-47F0EA60A3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$A1DFB79C-3292-49D4-9B25-E1202DE6B6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838d1a0279b6bb577c789f0255b088571acfd62f","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$0BD25C39-DE1F-44D9-87E2-477D20EA34BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1040f5d7de42f2064718e38c58ade083ef9993","datavalue":{"value":{"entity-type":"item","numeric-id":5312907,"id":"Q5312907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$54CA2CC2-E3B1-4705-9F72-D75677D968FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$781B8B1E-F280-45C1-8788-F8E167BC14F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b801b615e08f098641390b0fbab7219ff0e7229d","datavalue":{"value":{"entity-type":"item","numeric-id":5466572,"id":"Q5466572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$18047767-BC62-4DA1-BDED-B3E44747F499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bc147e554421b32de8151899e567ae26f219e3","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$A87D7973-AA9B-4C68-A408-1582DBA93AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ac1875f2bd79fe60fd4a60c4b76074c2e13d8","datavalue":{"value":{"entity-type":"item","numeric-id":2722067,"id":"Q2722067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$EEBDCFBD-FFBE-4E06-B7B4-13F07F6243C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$1F476079-E1B0-4017-91CA-0939B624024B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$C58A1AFB-C93A-40DE-B4D3-FD45110977E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824c9af687040c612a07dabade67e4643eedfc23","datavalue":{"value":{"entity-type":"item","numeric-id":4411948,"id":"Q4411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$EE114001-1405-40B1-8087-CBA210F50392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$ADE93B68-CF9D-4E93-A766-0FC98E674735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f89133674e76c29495bcf32ab6232930559f5d","datavalue":{"value":{"entity-type":"item","numeric-id":5312904,"id":"Q5312904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$2E0BFDB8-FC72-49BD-A708-50443B551C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6760c1a0ed84f473ebf9c19dbb4d05bbf42b9a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3751592,"id":"Q3751592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$881F5E9E-0BB2-4C5A-AE79-66342CB22874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c88c2000cc742f79a0696cbd6770a20218f4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$83D5BCC2-8D87-422E-91BA-EDF4490618ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9095363bee44f6b808e537c1ca0b6a87eec4143","datavalue":{"value":{"entity-type":"item","numeric-id":4273661,"id":"Q4273661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$7FDE90C9-1962-4AFB-B909-C1B16AFC61C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aeb86c2a25d2eca6c18a4b6be547b6975bd979c","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643337$CBC09762-DC45-4D02-9C88-A2D4F5A18D7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4f35ae90d8283f81674f99e1d66423e4a33671d","datavalue":{"value":"10.1016/J.JLAP.2006.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643337$14D2CE72-5785-4986-88CB-3277FCC6E532","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0fbceec55478b7811fdca0d030f66fe942aff3","datavalue":{"value":{"entity-type":"item","numeric-id":5899082,"id":"Q5899082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54d2b29ca71b021f5bf867374ee99af329288de","datavalue":{"value":{"amount":"+0.9987834692001344","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":"Q2643337$52132466-22DA-4791-A24F-9BA40A959017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d576d4c1de6ef868f121da606928ef946e22783","datavalue":{"value":{"entity-type":"item","numeric-id":5466571,"id":"Q5466571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce89fb75ab948de1dab84cee4047a134897ec52","datavalue":{"value":{"amount":"+0.7912024259567261","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":"Q2643337$BF63A7E3-9B66-4150-8172-BEC3F63D54E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d27e6dbbd4ab3110b9dfc5bb5147557198ed6f","datavalue":{"value":{"entity-type":"item","numeric-id":5408581,"id":"Q5408581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc46a5a511d6674d380c4ce12ac4fd3766f83b8","datavalue":{"value":{"amount":"+0.7840100526809692","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":"Q2643337$9F183963-86A1-4BDB-B3F7-B777BAFDB41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf94048c880ce6729da08cbc9cb359a4d8d9e4c0","datavalue":{"value":{"entity-type":"item","numeric-id":3184673,"id":"Q3184673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e72b026093f1a7c6edcdc976b32ac3f0db15aa4","datavalue":{"value":{"amount":"+0.7825886607170105","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":"Q2643337$C6F336BA-DC63-4DBD-8177-427C828EAEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42fd7fd08a842e0eb95ea9deb6868d0cf675d00","datavalue":{"value":{"entity-type":"item","numeric-id":3636811,"id":"Q3636811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6450242ce22cde58c6acc76c326ae1a0874f4fd5","datavalue":{"value":{"amount":"+0.776321291923523","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":"Q2643337$1CDE101C-447A-4D43-AF5C-6E16B08F2620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643337"}}}}}