{"entities":{"Q2429724":{"pageid":2440467,"ns":120,"title":"Item:Q2429724","lastrevid":74339289,"modified":"2026-04-14T19:37:10Z","type":"item","id":"Q2429724","labels":{"en":{"language":"en","value":"Fixpoint logics over hierarchical structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5873544"}},"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":"Q2429724$18CC6983-4A34-4AEF-95D1-EA4CBE936FFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"beb54ac4c43426b3c782545799d65a94ecfe9b7c","datavalue":{"value":{"text":"Fixpoint logics over hierarchical structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2429724$52D11A92-F1DA-48CF-BF3C-BF936DB7ED10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f46a2b9ef2e89bfdd592dc8094ba04db984c75d7","datavalue":{"value":"1209.68320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429724$18CFD502-1FDE-4E0C-8A20-A23DC37C4CE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1bc0849059b0a991d5eac196f85a97b908b21d","datavalue":{"value":{"entity-type":"item","numeric-id":959056,"id":"Q959056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$9C004D9C-D53F-44B0-8CC6-3BAE87665A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$225A7AA2-EB0F-4159-956D-D909A9E5AEF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$3A14568C-627E-4111-9BB6-206DB7E7E49C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"362da250e53eddf9b6ee15ba6fcae9e11b48d936","datavalue":{"value":{"time":"+2011-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2429724$BDC395F6-20E9-47DB-8D72-21E4E2251EAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429724$8FCE8464-B242-459A-AD66-2BD6DD003C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429724$15ADBE27-12C9-4EF7-A501-117A80F694F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429724$F0D24647-DBC1-4B94-A255-A9D59829253A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb312373a1dd11e39ccd0a7156ac7b5283dd7ce3","datavalue":{"value":"5873544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429724$E965F232-9BDA-4540-9CBC-04237FF30AB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429724$A964B795-74BC-4EA0-9092-A8AF51252B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429724$1FCD43FC-6DE9-4FB1-B25B-3F45B66DF661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f6c2f9b4688aca701de3c9769ca4d1a060b61a8","datavalue":{"value":"hierarchical structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429724$C4A36DF4-4FFE-4ACA-BEB8-D46FDD8E9D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429724$18741FC7-EFF0-405C-9F05-471BD3487AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429724$25C18233-70F9-4365-B88F-AD5188AA8C8B","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":"Q2429724$95629142-2F86-4CD6-82D7-3344239DAB6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a098ebba822be87e8b323f291d2643f20fa6f8cd","datavalue":{"value":"https://doi.org/10.1007/s00224-009-9227-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2429724$D13FC118-D25E-4344-8535-BB0A00D550D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"504fe4f3e10a8f096ed6188297251cf76b979218","datavalue":{"value":"W2058101812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429724$3DCC67BB-9D4C-410A-98D2-D680E31A6BAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ef38e96faaf7f9c54a71abbb80fd0c75780eda","datavalue":{"value":{"entity-type":"item","numeric-id":4283233,"id":"Q4283233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$0C93E510-9308-47D0-BC96-540752466D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8440c861614326ac9ed4b6238370ec03039362bd","datavalue":{"value":{"entity-type":"item","numeric-id":4876640,"id":"Q4876640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$E88A986C-EFBC-492B-8571-7EE87A16A676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$E341D951-B454-4264-9CEF-B69A139B953D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$BBE27FCB-B67B-40C4-9E81-E8AFBB2F5ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$ECC114B1-8C4C-49DA-8220-30B1F7EC7092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$4B26AA91-CFC8-4E95-8CEF-EB981619B2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e986b5ddfd36d5765e42c37f8d0bc0fa55d8f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":1386441,"id":"Q1386441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$997E7AEA-4C4B-4CDA-8E7F-D402E01C48C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$779D9C62-64BB-4033-878D-3ED5FC0D9D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f9918dd24d68d6a8b0715c23196dc11eb6c8fa","datavalue":{"value":{"entity-type":"item","numeric-id":684560,"id":"Q684560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$65C9354C-D56A-4958-9A12-5DF0EF6A93A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$8D502A57-0C23-4CC2-ABDD-2DC4A0447990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$0E854395-5160-4DE8-849D-641123FE4F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$D349C523-DBB6-4930-9C6F-532E384DE05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de91ecb193514088bc3752dcf7515e5158d8d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$A59911F4-04A8-4DBF-94B9-9F0AAE32B5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82240301bcdb1618adc9706e69c4f13d0963ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4168070,"id":"Q4168070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$DECC2371-EFD8-4F22-B20A-48110DB35756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d91d72b111cce4b760bc909f1579314c09e207","datavalue":{"value":{"entity-type":"item","numeric-id":4710683,"id":"Q4710683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$FE1F4314-324B-45F8-AB7A-C901A9E1EB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3c8b875b594f41fc66a3cd10dbe8edbcf78c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1185244,"id":"Q1185244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$58E25B1E-9B9C-4689-8825-B08AA127EB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d3526822c887e3a90f87fde06c7a61b42d11b","datavalue":{"value":{"entity-type":"item","numeric-id":3826621,"id":"Q3826621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$C79207D0-BD39-435B-9CC3-DC605BF2BADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$3C0A3F43-AFD6-46FB-B14A-CB34AB51E7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0396a221fb672ed5420003bc74eb6111e17537","datavalue":{"value":{"entity-type":"item","numeric-id":860863,"id":"Q860863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$6F22F74A-CE9C-47AC-A480-50A609ED328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$112B8DB4-7D0F-49D7-84DD-C3521BCC1E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169fc2ced4aaaae2e4cdf855de71a39dba5b7f1f","datavalue":{"value":{"entity-type":"item","numeric-id":3569044,"id":"Q3569044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$BB5E4A87-3CB3-471F-98D6-DE88AA4F232B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cdaeb46d6bfda1c16b3108c79decf00af2df5b4","datavalue":{"value":{"entity-type":"item","numeric-id":4764625,"id":"Q4764625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$282CB241-F57C-41FC-9E3E-E994E84A0D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9e535f41e2c705511a3a611862551336a157f5","datavalue":{"value":{"entity-type":"item","numeric-id":1269904,"id":"Q1269904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$6105F1CC-41E8-46FE-9989-3FF4EC8EB21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201ddb88c983f60a0bc5409c191effb83c914933","datavalue":{"value":{"entity-type":"item","numeric-id":4210093,"id":"Q4210093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$C9214BC4-FFAE-4241-A944-CD346B5BD545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad92c0fffcf91dfc123780236267d684235ac017","datavalue":{"value":{"entity-type":"item","numeric-id":5900672,"id":"Q5900672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$4FF6A100-D105-4DB7-8ADE-0124AD766434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$AE738E79-BC5A-497A-B99C-D41DD09C1F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b454bd771fb543dac4dc7d039e03112834347cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4941166,"id":"Q4941166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$24199F6C-F51D-4171-A9B8-7039F2F51934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$C94747B8-54B1-4886-9138-728D78A222CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ba6ee4184d1e83b23af04ea3e34386770ce9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$26CDC0AA-5482-49D8-A9AF-A2E9E2BA65EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429724$3AEE4807-B70E-401E-B101-8578490CF93B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eda17d49b8d56c95c0e3475c58ae00dfd2b262a4","datavalue":{"value":"10.1007/S00224-009-9227-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429724$C292A2D6-28F7-4566-AABE-18B6F4BB66A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe485a846a4005847844c6e99f030322abe654b0","datavalue":{"value":{"entity-type":"item","numeric-id":5897793,"id":"Q5897793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1460f7573b4c7fee8eeb0ae0c2c20987022ba06f","datavalue":{"value":{"amount":"+0.9892255663871764","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":"Q2429724$70F3C2D9-F462-4C0F-872B-F1F4C5562472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739f691991fb3291f88407ebc1b3242b5edb8d22","datavalue":{"value":{"entity-type":"item","numeric-id":414908,"id":"Q414908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889dba0f84e442f9485d7899521d78ea11ecbb4b","datavalue":{"value":{"amount":"+0.9027600288391112","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":"Q2429724$DFCBCAFB-FD35-43D1-BACA-120FC57FD3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4173f84365ce344d5a090a74705bb1387bab809","datavalue":{"value":{"entity-type":"item","numeric-id":3656876,"id":"Q3656876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968c3ccdc6add95507e783d976308c542099cfa8","datavalue":{"value":{"amount":"+0.7911482453346252","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":"Q2429724$DA087868-177C-4202-BAF6-631E33FC833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be1be5a6180e121e914a711dfc54aedbb9e253b","datavalue":{"value":{"entity-type":"item","numeric-id":418123,"id":"Q418123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3abec3be4624e01ee1817e6235cd5c108f8b589","datavalue":{"value":{"amount":"+0.7900012135505676","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":"Q2429724$793D7446-4E45-46B7-81EF-6ECC927CDB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95d89062711ee600ca5496b3368ceddbb7727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5492896,"id":"Q5492896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a7d823047e004df8015fe4130485a2974c227f","datavalue":{"value":{"amount":"+0.7528120875358582","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":"Q2429724$C083DA87-4E24-495B-8A91-CD9A6E903270","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixpoint logics over hierarchical structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixpoint_logics_over_hierarchical_structures"}}}}}