{"entities":{"Q1854320":{"pageid":1865062,"ns":120,"title":"Item:Q1854320","lastrevid":71504529,"modified":"2026-04-13T22:42:11Z","type":"item","id":"Q1854320","labels":{"en":{"language":"en","value":"Toward an infinitary logic of domains: Abramsky logic for transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853079"}},"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":"Q1854320$2B22321B-8915-4A7B-A974-E50251D35CDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"949391cee163b710ddd1d776b1d9ef7a2602aed4","datavalue":{"value":{"text":"Toward an infinitary logic of domains: Abramsky logic for transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854320$1E837D63-F1FD-48A3-ABBA-FC88A7E4B888","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4128f49b664edf6ca46e6a095607d17c067568e","datavalue":{"value":"1004.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$E9D4D587-F114-4347-B1DB-30D07DA5C56C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$30AF842E-5785-47E9-A720-AAC7EDF506CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c84243db84b9ad11e29e4f07f7d5740f9c0b8a","datavalue":{"value":{"entity-type":"item","numeric-id":671990,"id":"Q671990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$218F70B5-F194-4AB4-8C29-81B0DA3E211E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$612840DA-5582-4602-963A-11EE5A797ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854320$E061D736-A98B-49F2-9057-AF5412D6B60E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b02b7eb1b61f1453d038b71b4725de02910c7c91","datavalue":{"value":"https://semanticscholar.org/paper/0e30a0fa6c3609c23b9826198c0cf7ea511587a1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854320$8B01F9DE-66BC-483A-B1A3-B25664BCBA06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$28A154A3-83E8-4011-8E2B-F747781CF38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$9E46F8DA-763F-4770-B33D-784F21149718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$5F0D2A27-F7DD-43F9-93ED-FA09AF6912B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$D4986F80-D4B5-4EE5-9925-ADFF095BF9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$8E80C172-B7ED-44E6-ADDD-168991AC04BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$BC556AF1-FF2F-4CC9-A237-CF554670FEF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"342108d15e9dbd750fda4a7b49da170d4a8cea5b","datavalue":{"value":"1853079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$9CCC02B8-25FD-495D-87E0-07DD1577BDC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854320$773EBE43-CADE-41E7-8690-6829836B8BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fc72e6cb5c1cba8e040419085520e8eb769182","datavalue":{"value":"sober spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854320$AD20363B-EE80-4730-8BC6-04D88490B552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a573f1a22f5c07dc862364b76edb1bd58326a91c","datavalue":{"value":"saturated sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854320$F1C8D4FB-F2CA-40D2-B857-8910EBFCF226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00055dddfe2a087138d860a8775830d4ec9fe5ef","datavalue":{"value":"domain logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854320$178B6530-113A-4F17-BE79-2B95B60973BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854320$6AB2965D-1D6A-42FC-B550-53F65F285E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0503e87b0acff26f635285d13119340cdc06484e","datavalue":{"value":"Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854320$9F949AD7-714E-4316-91F7-E37ABF8ADB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f0f331b7b11bd03c1348f3b515af2e38c5dfa7a","datavalue":{"value":"recursive domain equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854320$27EC2247-08C6-4D8E-8D2A-A7D83AB7D80C","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":"Q1854320$C2D03D69-4A0B-4E44-9C65-AD959C3A44AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44ebc2f70c8980cb1452c8af41ed7ff2e3f437f5","datavalue":{"value":"W2062220068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$AE5C3883-8AE4-4C4E-B493-BED37F363520","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$E94DF1B4-2D96-4D49-8CCE-75D51DB8281E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$C8368760-0520-40A0-B97F-9D87762CB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$06078A65-75F3-4FD4-915D-9B24ECFCC3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0a71074de754fe77e700d979185ef29b9248fe7","datavalue":{"value":{"entity-type":"item","numeric-id":4364389,"id":"Q4364389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$96F5F689-E692-4468-9FE2-EDBAA6FCCA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46dfa758d5b68d1e523f5ecc730c6d2e93fa79cc","datavalue":{"value":{"entity-type":"item","numeric-id":671991,"id":"Q671991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$45A2685A-913C-45AD-AC65-754D91BDEBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cea75f9e72fed57f6aa1fdd65a9d2e554644555","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$0D70CD9F-CAF4-4A16-924F-B73DA034FB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$115029B8-413D-4B97-BF05-179FE8F29DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$FBB96BFA-8170-4A2F-BE27-5DCBBBABC746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff687fb653b2f50be19ff0d779dfa41c780cbacf","datavalue":{"value":{"entity-type":"item","numeric-id":4075436,"id":"Q4075436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$E9802F75-AA9B-49F2-A38A-AC0158CB9794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$5BC3131F-96E7-405A-B4E8-1397F6417153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$3BDBDD40-66B9-4FBD-A4E4-9E46DEF1FC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$20A3F4AB-5CC0-49D5-947A-A49DF06FB51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$7D6918D6-8D1E-4D40-85E1-C85AB124E9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$A22E482B-E357-4523-99CD-823D830FFB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019c80293f8672dc5852d15a866a52c72a046d93","datavalue":{"value":{"entity-type":"item","numeric-id":4156818,"id":"Q4156818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$CCE4697F-E586-48ED-BB56-F1B5BED5A4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$3F804F8A-5295-47BA-850A-2ECEB2731888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$4CCFA593-4434-4B60-BC22-096CAA8740E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154d6a3b7579c1d22218e93df76974c247b6338","datavalue":{"value":{"entity-type":"item","numeric-id":5816743,"id":"Q5816743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$74BE8936-9333-42B6-A976-8101F2EA5472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$5541C1E4-3B19-4C23-8422-82C13A0230CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$9BF9558F-DD60-45DB-A3E8-A2E94C3B2CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$B4C84E6C-885D-40DC-97CE-6959A14CF57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$37B08E71-D3FC-4469-B4C0-0C163FF3E053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$4F60A9F3-BCB5-493E-9DB4-7CEE2585E7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f08428aa5ff5cff206c04eafd38aae6ff6337d0","datavalue":{"value":{"entity-type":"item","numeric-id":4325268,"id":"Q4325268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854320$DE71B1A9-6204-4079-A7FB-2486CBB6D8F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7c26c61bed3a523fcd847bbb9c5e85e25640dc3","datavalue":{"value":"10.1006/INCO.1999.2827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854320$7C8EE923-6333-41A7-B356-2D188F96B79D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51121eb78307719c60b53eb65d60be8f4447f93c","datavalue":{"value":{"entity-type":"item","numeric-id":4364389,"id":"Q4364389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde9d8924102c5fbbb0734ddab326050a13db32a","datavalue":{"value":{"amount":"+0.9092734456062316","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":"Q1854320$7FA0570A-E3AD-40E0-9558-65DA2CB5FE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4212d7d49f9bff7f5816a333613bc16503be1b","datavalue":{"value":{"entity-type":"item","numeric-id":1989346,"id":"Q1989346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3a3de47a643ca7389470bd5771f7d3f47ad457","datavalue":{"value":{"amount":"+0.7288102507591248","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":"Q1854320$73BA7509-AEB1-4CB5-8DB6-F76AB962312E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc9093763a1affff82939a36e10c2a0252ee561","datavalue":{"value":{"entity-type":"item","numeric-id":5096332,"id":"Q5096332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78957ca2f2dcfaaabfbaec6a4a4235bc289df12d","datavalue":{"value":{"amount":"+0.7252777814865112","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":"Q1854320$B8546E4F-4A5A-44DD-B667-CB47944E3A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efdf3a21ea57529d4367f0e65385bc92e048c24","datavalue":{"value":{"entity-type":"item","numeric-id":2707309,"id":"Q2707309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81a3703ba85d0f68f81f073a22a40e212e17f9a","datavalue":{"value":{"amount":"+0.722195029258728","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":"Q1854320$165D8232-7F70-4D52-8268-EDF8C17D8C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9401a21cc5735f62bd1bcee6099504e8b696effe","datavalue":{"value":{"entity-type":"item","numeric-id":4981459,"id":"Q4981459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81a3703ba85d0f68f81f073a22a40e212e17f9a","datavalue":{"value":{"amount":"+0.722195029258728","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":"Q1854320$0BA0F821-F6B0-4D6A-B21A-99D0F28EB3F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward an infinitary logic of domains: Abramsky logic for transition systems","badges":[]}}}}}