{"entities":{"Q556686":{"pageid":558453,"ns":120,"title":"Item:Q556686","lastrevid":62721270,"modified":"2026-04-11T08:00:48Z","type":"item","id":"Q556686","labels":{"en":{"language":"en","value":"Reachability analysis over term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177898"}},"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":"Q556686$56CAB342-44E9-4C8D-81DC-C0F22F7AF3BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4b4891537a7194c3597db40db7a93f45800bd07","datavalue":{"value":{"text":"Reachability analysis over term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q556686$E3F29B5B-03D2-4B16-8FA0-171C206B3609","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ead1db1fe90b894a392bcf5706d91cc2db6a657e","datavalue":{"value":"1075.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556686$D32E5152-AD2D-4115-95DA-53ED296730CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccdfac7cbf895e245b655f0e166172b554255f4f","datavalue":{"value":{"entity-type":"item","numeric-id":556683,"id":"Q556683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$C439E319-D23A-45EE-BADE-0FE094510147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14bafb335ca5a0648dd707f992f49ef0e445a0c9","datavalue":{"value":{"entity-type":"item","numeric-id":556684,"id":"Q556684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$1FA671E6-5907-45CB-AED8-F38E51F42F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca4a36ff69c3936990c1fe7609ba3e16ec0c7f38","datavalue":{"value":{"entity-type":"item","numeric-id":556685,"id":"Q556685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$A7F9F009-15B2-484B-A326-261B8A9F9A36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$7F960903-1C42-4F20-8D47-DA90D85B4F8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q556686$CACD4646-1884-42AD-AE7C-3063341B6181","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72dcbebdba0fa3a8019b29f8eeb841274a49100b","datavalue":{"value":"https://hal.inria.fr/inria-00071609/file/RR-4970.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q556686$EA692EBE-61A5-4DEF-A82E-4F48807D922C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556686$1FE76E6F-FB5B-4B75-8CF4-29D09AD55C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556686$AD990C95-DD9B-4567-B8C4-8945F3BD9C4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"966788d9430fe114c88f61a3c328ce4538a23a0c","datavalue":{"value":"2177898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556686$13FA6BBB-FE6A-4B0F-A177-5709B3AA7E1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435ffea6b4cda281d7fb4530f3e5542d1c4e069c","datavalue":{"value":"completion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q556686$95726A0C-8306-4111-80F4-ED016184A83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q556686$FDC4D6D3-D34B-42E3-8550-34D6FD8DCC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q556686$2CE52AE9-CAF3-48E8-A400-ABF5C03FDE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23ace3040dad4c99b9255baecd280455eed9ab0","datavalue":{"value":"Timbuk","type":"string"},"datatype":"string"},"type":"statement","id":"Q556686$80EFEED8-1CD0-4E52-A52B-25DF1B37C060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q556686$67687E33-2885-4508-B81E-1F80B2F9A5C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$8FA6DC1D-F895-4E64-BEA2-FF4C83404BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$0457E769-ACA9-4A4F-B499-BABE57FBCF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$C40DB9CD-CD8B-4707-91B5-55F404D29E03","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":"Q556686$3E21B84F-C6E1-480A-AE1A-3C5EB62C0A74","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":"Q556686$F21C9C4B-14DD-4C6D-B5CC-C5A42B3A8AB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c72100095961196e4b1ddf602cbd5ac24339b56","datavalue":{"value":"W2088129830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556686$10DEC4A8-CE92-414B-B9B4-16578DD1C06D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$DE3A8998-586A-4901-BF84-A42EC2336993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1385fd1c650c82fe873a362d13d98d66bade753","datavalue":{"value":{"entity-type":"item","numeric-id":4223001,"id":"Q4223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$6BD74D77-6589-4F0D-B779-6730E0C38E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$33769C8C-D568-4719-8AAB-50FEB1398F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf8150531dd139e92d199e5424737b99d920576","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$DDDEECEA-CBA3-4BCE-8215-04DE530F7BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8621654e068ff7419d29506662c5e5f6afbe6a","datavalue":{"value":{"entity-type":"item","numeric-id":1325836,"id":"Q1325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$1944AE0C-7652-47EA-AF80-C3042499CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5985ede7bd580a3b6a10ed6c28ef50e7923f93","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$0B9DCD6C-D436-4125-8C07-50CBBB4095D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f795822a50f8c464c3462e79742cc6ef6b14c926","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$380915A5-C2BB-4582-8123-C425492B6795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$3971410D-8F98-4E7D-B5D7-CF79E50B40F8","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":"Q556686$F40E16A5-F534-45F2-98DA-56D97ABA565B","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":"Q556686$B52853CC-8F16-4954-BEA1-975C1C322AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15950715c4c719da3ab3ac53f61d38e4d10faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1127543,"id":"Q1127543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$2DF973C4-B1AB-4061-8196-BBC7D174C38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$DCA31755-DB07-4B53-BE25-1829222CF5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$83427962-3711-43FD-9E77-FAC4FFCBE70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe37ba60d1d38231cb146c0ce87f7bab99a4d36","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$A94140E1-D7BD-496E-97CF-C15ED8489596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$C54E33FB-12F2-4034-B02D-CDD41AE27EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"136dca5eaf30010d2d4c0f6c9100d687138b0eac","datavalue":{"value":{"entity-type":"item","numeric-id":3956381,"id":"Q3956381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$AACD58E2-A1BF-47F8-8CF6-EAE16D5C3D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534227f15988ed0dfe59c383b2631933a5bd3dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4938423,"id":"Q4938423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$9616DF1B-34CB-47AA-BA50-8FE40190E94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e62c8a4510f06ff30499e079c62d545f97690b8","datavalue":{"value":{"entity-type":"item","numeric-id":4808743,"id":"Q4808743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$D649AFCF-74D7-41A3-9D07-A2E7D2586C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224a8f502813ed342d6cb66c96544427e8289115","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$D3EC226F-C8EE-4113-9EF8-BF6050C4EF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1adff01dd8135f1ec580aaf85536ae94c3e1aa","datavalue":{"value":{"entity-type":"item","numeric-id":4808741,"id":"Q4808741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556686$18C35673-5815-4E8B-ACE3-EA43CFDDC133","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":"Q556686$42165E66-08C3-418C-A736-D727ECAC7AB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2a34fed8778288520304e0ec0b12097a8d21562","datavalue":{"value":"10.1007/S10817-004-6246-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556686$DE7F62F7-6DBB-473E-8B86-92FE96B590A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1b3766f1e7fdeed09039a040b0bdb7b6561c26","datavalue":{"value":{"entity-type":"item","numeric-id":2996202,"id":"Q2996202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee8a2d67ad0f28f046c489a9ee221ee129d4db1","datavalue":{"value":{"amount":"+0.96331906","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":"Q556686$1117F5C3-94BA-4254-B811-53C15E33ED8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21da4e36b6f89f8ef8cfc937783c9a68aa2c7918","datavalue":{"value":{"entity-type":"item","numeric-id":6091333,"id":"Q6091333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60150158978e2307ce4ccf5e572dbf9fdb31e102","datavalue":{"value":{"amount":"+0.9469103","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":"Q556686$8D487ABA-F9FD-4228-9888-56EAB1E074A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1e19c3d632023ac38e016e86cf8ee20a8ea283","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc81ae3c819c2e6e741357a709e1d02e12b50bf7","datavalue":{"value":{"amount":"+0.9436096","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":"Q556686$11C7A85E-1175-460C-BFBC-9B2E35360038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8aa5714219a846aadc9363d4c887796910cef5","datavalue":{"value":{"entity-type":"item","numeric-id":5277878,"id":"Q5277878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438c7ba21870d46236e7657768b517264e2fca96","datavalue":{"value":{"amount":"+0.9278295","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":"Q556686$F65E17DE-597A-4C82-9165-1352B0EFCABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df82ae38b436e6d989f41c9dfc2ebf1459aa75","datavalue":{"value":{"entity-type":"item","numeric-id":2980977,"id":"Q2980977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438c7ba21870d46236e7657768b517264e2fca96","datavalue":{"value":{"amount":"+0.9278295","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":"Q556686$F36D783F-84B4-471A-8A5E-4D28D1D11A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6caab72ea368d53e8cd85945e24b9fe82093ed8e","datavalue":{"value":{"entity-type":"item","numeric-id":1262761,"id":"Q1262761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d58ac548ae853523707aedb60a44f233052bf2","datavalue":{"value":{"amount":"+0.91880596","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":"Q556686$4C0D2FE4-A98D-4394-8650-BBC7E7251375","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":"5201a139c654015eb050178f316978048318038f","datavalue":{"value":{"amount":"+0.91807073","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":"Q556686$E668962D-3F53-4592-8D01-0D2E3C81B6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eef440178d75a9255980807f736445ffe4363b0","datavalue":{"value":{"entity-type":"item","numeric-id":5432346,"id":"Q5432346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c742894688fc02247b8b8824cc1ce8f1624d38ed","datavalue":{"value":{"amount":"+0.90422034","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":"Q556686$7C538A63-FDBB-432C-80A1-31B111C180AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aeec1a69c7e407f53d69dbac569b646c237c4e2","datavalue":{"value":{"entity-type":"item","numeric-id":4871682,"id":"Q4871682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deedd76802113113a5e8564cae8f68dd3fde8edc","datavalue":{"value":{"amount":"+0.90372014","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":"Q556686$7C5B92DF-03D1-40CF-943E-70586CD61736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c5a5e4004778d33396d68cca73030d255168a2","datavalue":{"value":{"entity-type":"item","numeric-id":1799091,"id":"Q1799091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0a270153469609cbfc921e851da1b7d3f15366","datavalue":{"value":{"amount":"+0.9031124","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":"Q556686$8381FA68-BB72-4779-9BE0-9328F63E3A75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability analysis over term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_analysis_over_term_rewriting_systems"}}}}}