{"entities":{"Q2147176":{"pageid":2157919,"ns":120,"title":"Item:Q2147176","lastrevid":73434861,"modified":"2026-04-14T15:58:13Z","type":"item","id":"Q2147176","labels":{"en":{"language":"en","value":"Automatic discovery of fair paths in infinite-state transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546593"}},"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":"Q2147176$A0116FFB-DE79-44C5-AFF6-315853C981DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe239c4cadb12d4e9a83860650a8da8bd789e1fc","datavalue":{"value":{"text":"Automatic discovery of fair paths in infinite-state transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147176$31AC4D14-3973-49D8-97FE-BA77210F046F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11354c1df37f939c21843bbcb8fda8aab64e5de5","datavalue":{"value":"1497.68290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147176$2894C05D-68D5-4AB4-A445-0DD9307A6592","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68d3012c6b94cde163a9031cf989f8f9cd89c648","datavalue":{"value":"10.1007/978-3-030-88885-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147176$1CF93E45-4B8F-47EF-8C6A-9999CB9CB382","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$95CF3758-BD79-410A-9DF2-72377F234DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$22030910-1886-4C11-990C-7EA5C16FC443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c8588fdb15e2d7e9db628e34ff6a47867e6b3d4","datavalue":{"value":{"entity-type":"item","numeric-id":2105459,"id":"Q2105459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$C7DBFF6F-A0D6-4C51-953E-F6C099C867FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-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":"Q2147176$7EDD6678-9AD2-4CAC-B1D2-61460B5BC16D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147176$32ED23DD-FB22-4E85-AAD8-790501A67651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147176$94CDA610-AFB5-41A0-98E0-A980E57D35A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"109b0a5d05fe33e0bc0e6f67845e2ac4478ca202","datavalue":{"value":"7546593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147176$4A23E773-9702-4927-A976-800C6A7A6B9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423a381cc6ddf4ce579448ca2c2d4f9b2dc351d4","datavalue":{"value":"LTL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147176$DA5B98B0-B2C4-4638-8977-F607E055961F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aedb8eb10bef7062be3bda24399c404996bdbc01","datavalue":{"value":"LTL falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147176$A1678718-EB82-4450-ACC1-8CD02E10A69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147176$396F188D-0933-4089-8581-CC8EE054B45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147176$76076DEE-C1AE-45D3-9FDE-B997E777400C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$034071FE-D5F9-476D-A59A-01BB7D66F832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e95a4714f9a38285de4763859cd8c5827a63c278","datavalue":{"value":{"entity-type":"item","numeric-id":19439,"id":"Q19439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$224E9A35-B2B8-48C2-BAC5-CF368D4C255D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$48FDF3A4-51D8-4226-A140-975588929395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c47fe2df1f1953bad823a45d5770cd3dadc8780","datavalue":{"value":{"entity-type":"item","numeric-id":19438,"id":"Q19438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$11BCAEA3-E57F-42D9-8633-2E391C8E4D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$05F632A9-7C2F-48E5-AAF6-F4772D4E0A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$97F85A03-2E3E-41E7-886F-19A71C09C846","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":"Q2147176$BC49C30E-3675-4217-ACA3-A2174446F297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47940455efa095731183157ace3eea6702b58a42","datavalue":{"value":{"entity-type":"item","numeric-id":31667,"id":"Q31667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$E97508EF-AE61-4859-8C01-0E1DB7AC13DF","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":"Q2147176$73CBFBE7-66B6-423B-BC61-AD6C4982EB0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dd08d4ccb0209fd1d604a20d9b65b0fa992fdfd","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88885-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147176$D3A73ED6-E2BA-420D-952A-7E105AC62191","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16e2a3e33d0e11088b2a9b9ddeef9a17b275f2b7","datavalue":{"value":"W3207031131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147176$35D823AD-F2D2-4277-94D1-95391ABBB5DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$864440A9-733C-40B7-9017-987D311E9525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf8b6e18996c1c93b57fd465ad2e73279ea01a0","datavalue":{"value":{"entity-type":"item","numeric-id":2234061,"id":"Q2234061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$F67B06A9-F97F-41F7-812D-3B11C7DB6F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$F3F1269C-5787-487D-BF7D-25AF9E3CD7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1533546590c4a6b9a18b81fbbdbc821fd0f061be","datavalue":{"value":{"entity-type":"item","numeric-id":4640287,"id":"Q4640287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$F1771FFF-F680-452B-9327-A50ECC6AB829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5123548713629a223f9b5752ccd82f5449896b67","datavalue":{"value":{"entity-type":"item","numeric-id":2441713,"id":"Q2441713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$C5704D19-AB02-4CCD-A2A9-7A929A73EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675683968dc28118a062ab99ffebd45f865003db","datavalue":{"value":{"entity-type":"item","numeric-id":4633542,"id":"Q4633542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$F66E7D9E-B270-4715-99F5-2C371A9960E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f822690fec54c0059b31057f0280a42310fad20","datavalue":{"value":{"entity-type":"item","numeric-id":6194959,"id":"Q6194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$0081DE66-56E1-414E-8F55-A56ED098EB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12c8e6968784fcf3cb8105db0edc338d9a5ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$CC6DF7B3-A533-4B97-A962-4B9CDD90681B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$8467A6C5-470A-49F2-AD72-806EC3F4A723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60bf0b82585dfc6b6150d01493d12c11c97e4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5092319,"id":"Q5092319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$2537D6C8-BA09-4227-8DD2-5728E2DE8909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7487e8571cba3063ef9a305ba5dd106faf1de1b","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$9D5DBD3E-A24F-4A6B-A04A-7C0FF2711322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316877b526d468719217a373abc9f79e0e35757a","datavalue":{"value":{"entity-type":"item","numeric-id":2505624,"id":"Q2505624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$83D51866-04BA-40AE-939C-5B0106753BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a88480fe65be056db65097d1e9220f806bbeb6","datavalue":{"value":{"entity-type":"item","numeric-id":4649395,"id":"Q4649395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$F333103E-F9B5-4D93-AFA1-F28825C3B3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7524b3de3c3017fd47e810e2bd4ff877e5b13197","datavalue":{"value":{"entity-type":"item","numeric-id":5246721,"id":"Q5246721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$E51EF56B-C3C5-4BA3-888C-ED5FD2DA9382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819e3f56ab0d900c2d1df022a982559393111eb2","datavalue":{"value":{"entity-type":"item","numeric-id":2324233,"id":"Q2324233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$4A4C0F18-E07E-49C1-A7C7-98ED744E0125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43b75b21de13dd62714d1854203622d30a3df7d","datavalue":{"value":{"entity-type":"item","numeric-id":5803259,"id":"Q5803259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147176$165639D7-D35B-4842-8B6D-769868451FD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8114ff4449b0b75ef1ebf44a31eeb509bca4cfe1","datavalue":{"value":{"entity-type":"item","numeric-id":2234061,"id":"Q2234061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc25ffac8538f2199ca224448b70146ee24fbf8","datavalue":{"value":{"amount":"+0.91257536","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":"Q2147176$0264650B-FE2E-4F94-8437-19B953170D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc3fa80917796bd31c1bb0066afaf89cb478b45b","datavalue":{"value":{"entity-type":"item","numeric-id":2152493,"id":"Q2152493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a5b4d3e175646554f7ffb3bda6de765d3247a5","datavalue":{"value":{"amount":"+0.84539485","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":"Q2147176$55658EBD-DFD9-4D35-9691-92A5CA991FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743d45b4c40cab77997305483320084ddd182127","datavalue":{"value":{"entity-type":"item","numeric-id":5194957,"id":"Q5194957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efc58a37c1c44a90e950419cfcd5e9ad8a0a073","datavalue":{"value":{"amount":"+0.83950746","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":"Q2147176$8E38C910-D5B6-4EE6-9726-D55BD4B79EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4701b85df6a2f72cdcaf1005f95943ef123782f","datavalue":{"value":{"entity-type":"item","numeric-id":3687727,"id":"Q3687727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983c8dc8afff360e32e3a8b3fc313171c9c9a299","datavalue":{"value":{"amount":"+0.8367382","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":"Q2147176$0317F31A-D7A3-4878-BF12-B12FD561EF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fca468ab2b66e54ccbb2f7db05566cd41e659f4","datavalue":{"value":{"entity-type":"item","numeric-id":5705922,"id":"Q5705922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb51498dff11dd19b53cf2017bc8dd16c5277c3","datavalue":{"value":{"amount":"+0.8347765","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":"Q2147176$0A78F3B6-EEA9-484A-B431-82BA902C0501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19f159fa13fa9078a68edb68ada7b12d8f548b0","datavalue":{"value":{"entity-type":"item","numeric-id":4259992,"id":"Q4259992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"affbb0296aea5489b9ea214d5d6714120ecb8603","datavalue":{"value":{"amount":"+0.8333936","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":"Q2147176$BBD6F77B-F8C7-43BC-B217-43678CC2715D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464e9486caa52eccd8606818b6b678201996ae73","datavalue":{"value":{"entity-type":"item","numeric-id":4828478,"id":"Q4828478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f444d584d5397dd9ceb0fa50232dd654af634dac","datavalue":{"value":{"amount":"+0.83338","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":"Q2147176$148A194C-4CA3-4DAB-8D0D-14276929203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedddab549a0c8c06d6507046724b30e4a4cbef0","datavalue":{"value":{"entity-type":"item","numeric-id":3787456,"id":"Q3787456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee8c0df5bba1c6235386104d29ec164b80b8dd8","datavalue":{"value":{"amount":"+0.83049536","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":"Q2147176$D8190754-47F9-4D90-A02B-E0AD94BCF0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26567cadd41c1aaab451386b3d466d03d8f9c59a","datavalue":{"value":{"entity-type":"item","numeric-id":1323314,"id":"Q1323314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd131e9e64bc48041d0c2b612634e348ae8e9dc","datavalue":{"value":{"amount":"+0.8273871","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":"Q2147176$6E463FF5-8A0F-4590-A9E9-37F84D748878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a4fd457f3d882864459458d5da10bedc9b75cb","datavalue":{"value":{"entity-type":"item","numeric-id":642871,"id":"Q642871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31deeca0a36ec308dae90b0f56da55b83d58d14e","datavalue":{"value":{"amount":"+0.8270492","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":"Q2147176$965FACE2-D054-4A20-B5E8-7C73C2AAE6B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic discovery of fair paths in infinite-state transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_discovery_of_fair_paths_in_infinite-state_transition_systems"}}}}}