{"entities":{"Q1389678":{"pageid":1400418,"ns":120,"title":"Item:Q1389678","lastrevid":70312833,"modified":"2026-04-13T13:55:44Z","type":"item","id":"Q1389678","labels":{"en":{"language":"en","value":"Fixed point characterization of infinite behavior of finite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1170339"}},"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":"Q1389678$CB3D73EF-5EE6-4CB9-AADB-971DA280210E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe97e78e645efa09e300935b422ca42cbdc60c7d","datavalue":{"value":{"text":"Fixed point characterization of infinite behavior of finite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389678$578FC117-A97E-4EF6-BB1C-CCCDF8CC232C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95b42ea5be4ca80939034f070afb33fd6138bb44","datavalue":{"value":"0893.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389678$1ADDAC66-E01C-4AE5-9812-DA72F669DB37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f42d49e44de3bad85df2372efee123522fa178aa","datavalue":{"value":"10.1016/S0304-3975(97)00039-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389678$E0431601-A43D-4AAA-8847-7AB817044518","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$20DB8426-F98D-450A-8CB4-69ABE5AC50CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f219d7d1f0a69180d363f24f243049839e281b","datavalue":{"value":{"time":"+1998-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389678$5236CBB9-9BA6-4C3E-AE4E-33E454EE8778","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389678$9BC54199-32E7-4A27-95CD-4C47A65B40DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b405f92d076d02e13a293d8699f23ad6eda1340","datavalue":{"value":"1170339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389678$86F6F2BC-E828-40AB-83BE-FA2BA4D7579C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389678$3A735D30-8F5D-49E4-8635-E0684455DAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c5439f2004aedef0dd1903dfebfa1c1f33abc1","datavalue":{"value":"Rabin automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389678$D1ED2C48-1159-434D-ADD0-05489E37B0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e509037fce441f0aea7dbfbe8fd13994bacdfd8a","datavalue":{"value":"powerset algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389678$A8F89FB8-BF83-4F26-AA0C-F0D3C713D70C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7ca2c8d9fdc63a57bd7a5ed2a91e6844e83ecb","datavalue":{"value":{"entity-type":"item","numeric-id":607441,"id":"Q607441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$7DDAA8F9-52AF-4A7B-BE9A-16919E3D7AB3","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":"Q1389678$6D936ED1-2947-4FA8-B756-70D8462A7474","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa22b8020d2e02a46ee6f96a629706536ac1789","datavalue":{"value":{"entity-type":"item","numeric-id":4134908,"id":"Q4134908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$B291BEFF-7073-4C08-9CE0-7FD08FB67CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8caa258152596951f3aed3546536f53bb4ec18","datavalue":{"value":{"entity-type":"item","numeric-id":4273664,"id":"Q4273664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$146F6A5E-5FA8-46C9-83A3-290DE70C732D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$52D347B2-C024-435F-AC8E-5C090680BBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$4BB0B835-93A8-41DA-9F3B-3E1857DECD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$37043316-A212-4037-9BA1-BD23133DF94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$77E7FE77-99AD-4365-8180-276250737317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$F903CC57-B83E-4BFD-9F56-42E770F36C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd16140da76f75d849cac29e88fa8b96bed9a22","datavalue":{"value":{"entity-type":"item","numeric-id":3203012,"id":"Q3203012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$A7459ED1-11EF-450C-880F-B27C8864AADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$25FFC3F5-1425-4514-8DBE-0B576D3CC96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$927F1F4E-C73A-4AF1-BCAD-F3CEA50B343C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a20312bf5e8aa8a6c4a5983c177763d8f2236","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$90A1B0D6-1C78-4EEF-9D79-0AFBBAB1D589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04745da850ebbd99ee2ce2575f78f2d3a6415c5","datavalue":{"value":{"entity-type":"item","numeric-id":3998008,"id":"Q3998008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$8F340DEA-E221-4667-ACE2-582D3D8E5234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$7FEBF792-D6E3-4C79-B206-16884DEE2C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$E89227C0-B076-4977-951C-89E11B88D5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48ab9b171125f2901a59d92ccc66a2bf9cf3e04","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$E972809D-AA6F-4407-8312-940BBA043C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$4D4D4D94-57FC-40AB-A7FE-864B3828D913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9469215bbaf893cdc0985c90449b6696b785b107","datavalue":{"value":{"entity-type":"item","numeric-id":1229868,"id":"Q1229868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$CBB643FB-2147-4FC9-B760-D6447BE93CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa853dc52082146519bcf70a82325d270f5956a4","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$B6E42BE3-19EA-4653-9E3D-68A33E118773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7a7ed2697f26032ba1d9f163966d4ba6ea9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$54370D88-F140-4BAE-9DAE-355452B68DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7d501eca45f4e70219630914fce9c6989711b2","datavalue":{"value":{"entity-type":"item","numeric-id":3753490,"id":"Q3753490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$532FF141-D936-4C25-9648-018C2919FC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a913c949c9a5e6f6abb292b41a0d42c95dcc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":915487,"id":"Q915487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$75D7D626-916E-4D12-B81F-2E41CA99D384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$5F8A68E7-D6D0-4167-97A0-CCEBB6420A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$928987C4-2E4F-476E-9039-7DDCAD66F5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a3a46ddc1b2f91150970bf62a5d94befbc24f0","datavalue":{"value":{"entity-type":"item","numeric-id":3719854,"id":"Q3719854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$6F6B4EAE-9457-4E5C-81A3-454E6AC93E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b35e907ab212b1d8711807e29faa381e394fd44","datavalue":{"value":{"entity-type":"item","numeric-id":4723706,"id":"Q4723706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$44A0D773-3B02-41F1-96E1-89B5CADDABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$81B72C1A-F099-47EA-835C-4C98E674E538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$195AEC31-4F81-4A6F-987C-A61A10D68818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$DDF84884-A058-4BBF-8FB9-F1921C646192","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":"Q1389678$37F95B29-5338-40AD-847D-3FA4D56A678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$38A0E138-D372-41AF-BA69-6D79DF3547B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$EC30DB0C-7FC5-4446-8A1A-FDE61DFDC4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$CD1BDB0B-0726-4AB9-A846-65B7865F0AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3674a127fa5ad76cffe66de2ee1d314c2f7412e7","datavalue":{"value":{"entity-type":"item","numeric-id":1082091,"id":"Q1082091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$4A7098CA-F497-4996-A2D2-197BE8BB3550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$2965B155-4CEA-4F5E-B38D-2C88625ACA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$F132EDF8-110A-49E6-83AC-0A7CD1F7888B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$73612B4A-11C2-4BFD-BCE9-F5D18D1858BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$0C97FE14-BEB4-4FB7-92A8-50ACDEE28F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7a66982317f943528a01ca680cec7be690c105","datavalue":{"value":{"entity-type":"item","numeric-id":4158997,"id":"Q4158997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$C503128C-7888-4662-8297-0F64C3A90C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e092eb099a32d4d756ee9e4c56322cfbee0af","datavalue":{"value":{"entity-type":"item","numeric-id":3873568,"id":"Q3873568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$AF87E1CB-476A-4065-9A78-3D06F1B8E5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389678$129FE002-37B3-455E-B888-5E9BC85E1923","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b9c57a4819f3cdbcfe8d14a0e74b5370bde11d","datavalue":{"value":{"entity-type":"item","numeric-id":1606922,"id":"Q1606922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7992ce5bbfed82d35e12250329c7aa6cdcbfb484","datavalue":{"value":{"amount":"+0.8861381","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":"Q1389678$6169CA9A-DAB0-46B0-8ADD-4EEAF2ED69F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7208a4fdd527dcb609a81f4a49213711c58b0a87","datavalue":{"value":{"entity-type":"item","numeric-id":3587257,"id":"Q3587257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ea87542fa8104dc7bfd125d9b4f4a07af69b53","datavalue":{"value":{"amount":"+0.86069655","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":"Q1389678$0A7E45E5-C75E-4E5B-ACD5-2EE6C7DB083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bba8d8f81ef54226639a270db6b08e28dc2df4c","datavalue":{"value":{"entity-type":"item","numeric-id":4536602,"id":"Q4536602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56150212d92bce6f9d6519713bfe2a5df9b492d6","datavalue":{"value":{"amount":"+0.8605047","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":"Q1389678$15E8873F-8F21-4FA4-B874-DB3BDB77DC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6effe004b11319500cf470d640839e2d3ae7e058","datavalue":{"value":{"entity-type":"item","numeric-id":438572,"id":"Q438572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948a714f71fd36c644d430d27680259c21668bb9","datavalue":{"value":{"amount":"+0.8519995","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":"Q1389678$42D78710-99A9-4DE0-B7F5-022BCF076D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96aa7e38b905ab4b3327beaf6333e04b8f3e528","datavalue":{"value":{"entity-type":"item","numeric-id":1758157,"id":"Q1758157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04746acb40effcb63de7102e9f0af9ae5ce92fc9","datavalue":{"value":{"amount":"+0.8499685","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":"Q1389678$9D293648-5242-47E0-ABA3-FC30605A6705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a22754f036d21d9d8cff2595ef7030295ebf42","datavalue":{"value":{"entity-type":"item","numeric-id":5753528,"id":"Q5753528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5ede34bbb4c6a1d33b0413f614196fccbdddbc","datavalue":{"value":{"amount":"+0.8489184","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":"Q1389678$BB7F48FA-F5BF-4DDA-9B17-38AF018A649E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bdf0742bdd522dee8d4e004977de201c067fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3332aabf8a9c86aa246055d39ae547318a141ac7","datavalue":{"value":{"amount":"+0.8489007","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":"Q1389678$F5807D79-EE4A-43DF-AA62-30E40B4A6691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fab9f0aa07b65c61a9d589641a7c92eaebf92d","datavalue":{"value":{"entity-type":"item","numeric-id":4361325,"id":"Q4361325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59473833baec2c86fdab6aa4b04283a80030f7a0","datavalue":{"value":{"amount":"+0.8452967","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":"Q1389678$C2383BD5-9098-4814-A2ED-4FEB4049E615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b856877f00cb3b6f89e8ce715ad669663091504","datavalue":{"value":{"entity-type":"item","numeric-id":1348715,"id":"Q1348715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58bc802526d9925861e9010b0bc266df3741ae7","datavalue":{"value":{"amount":"+0.8452965","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":"Q1389678$A6448A2C-5A63-46EF-B594-265E9E53F98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2191d31395f00ae5d5cdda81afdc4110df1d7c09","datavalue":{"value":{"entity-type":"item","numeric-id":5249293,"id":"Q5249293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034831dfdfda3a14143468db5839e0ec5f5b3797","datavalue":{"value":{"amount":"+0.84526455","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":"Q1389678$E2BD2E18-552D-4021-9475-54CD9538C739","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed point characterization of infinite behavior of finite-state systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixed_point_characterization_of_infinite_behavior_of_finite-state_systems"}}}}}