{"entities":{"Q636268":{"pageid":638116,"ns":120,"title":"Item:Q636268","lastrevid":63302601,"modified":"2026-04-11T11:57:54Z","type":"item","id":"Q636268","labels":{"en":{"language":"en","value":"Reasoning about sequences of memory states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943591"}},"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":"Q636268$66BF1AE0-C1FA-413E-8295-A03BC2125AE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f02d78ffad2831bdca6e33b95807f3f04a526166","datavalue":{"value":{"text":"Reasoning about sequences of memory states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636268$015D2258-BF6B-412E-B20E-55086325C06A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e36ca81616882a6b411566b60c5a3846d9408067","datavalue":{"value":"1225.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636268$F567131D-367B-4C9C-BAFB-B0D3F80F3726","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad412a5bffb182803770c3dbf55eed8727f5eacd","datavalue":{"value":{"entity-type":"item","numeric-id":418135,"id":"Q418135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$B98B1C62-E91D-4C7F-88C3-15364BD65B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$33A73A0E-3A00-4927-95F4-513DB54F1666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$353403D2-CDE3-459D-A07D-DB47E5631451","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$401E0C15-A438-4649-B859-1EA9FAABD47F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636268$DAA4F9FE-8E7D-400D-AB27-77E3E7AD1323","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636268$2C528FE7-2D61-407D-9216-646E6352CE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636268$78EC4CD1-6999-450A-9ABF-80ADEA3390DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636268$D78CE6FA-1A51-4C23-9F32-9D37CA6EC8A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf98106e88177dbbe8b4ec1c6c376e178b1e9767","datavalue":{"value":"5943591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636268$5D03DCE3-641B-4BEF-B9F0-E6645185E644","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636268$213DACD1-27C0-49C3-A2AC-5BD0791ACAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636268$A67F4844-99F5-4C61-BB3E-B0A7EC7F53D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q636268$83AF1FCE-2C9B-4B8D-9853-8A2C1D306C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q636268$264EBA56-EF47-44AE-B400-7CA971852290","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b10831b25b2756323f1e155a6277b60592e8908","datavalue":{"value":{"entity-type":"item","numeric-id":21857,"id":"Q21857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$C583F03F-03AC-472E-B8D5-14EAF7321DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$C760D927-153E-43B2-B837-B1B2E70A628E","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":"Q636268$821B8DEE-3923-4C0C-8B67-0CD5E8BD03B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9482e805ef0c23607af570e1792c16737c8a3566","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q636268$CA8961FF-8377-4FC3-AF34-0964F266173B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1697fb34d92ffa37af2ed33cc4ca167af7a4fe35","datavalue":{"value":"W1983255876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636268$EDC9114A-939F-4741-9B9B-D5FE952AC627","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$700407DB-73AB-40BB-BC8A-27CEF9C70A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a83536a5cfb6ee546411bcb1c865e683c42fdda","datavalue":{"value":{"entity-type":"item","numeric-id":4737132,"id":"Q4737132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$2BBBEA0A-7063-4BC5-B46C-8344B4EABE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad38ab0dd395f27e2218e666e12f32eb71f98f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3617745,"id":"Q3617745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$911EC40C-18D1-4512-8D9C-733D3460F7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7083949a8e3c286003903f0ccc99d6e0ed85bb21","datavalue":{"value":{"entity-type":"item","numeric-id":1863908,"id":"Q1863908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$6D912BA3-547F-496B-9780-10ECC1C19AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$C85446DE-2EF5-4FA6-878A-CF14D6ECC7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$6D773BCA-03E3-465B-A54E-6C646401E256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$C55EEB1D-77C3-4F75-80B4-36D70A1C6CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da9f735f04a2a54114278ccdc0fd2a929ac4b83","datavalue":{"value":{"entity-type":"item","numeric-id":5466571,"id":"Q5466571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$EEACFF0B-F121-4F2A-8D3C-C94E780CA266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71fb79bcb4c2b3926a0c94247d2ceeebafe1f097","datavalue":{"value":{"entity-type":"item","numeric-id":5434501,"id":"Q5434501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$F8F10B8B-8173-43B3-9328-3F3E7D58065A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454f7ae21f81dd356823b4e6d4bc77d27e5f3c29","datavalue":{"value":{"entity-type":"item","numeric-id":3540188,"id":"Q3540188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$F4FCBBDF-6928-4C19-AC8A-8D1FF965DDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$1A7E5FFC-63CB-4171-85FB-320A9E204218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110e04d4625ac7707eb0d6fa980c0954dd5abff2","datavalue":{"value":{"entity-type":"item","numeric-id":5705900,"id":"Q5705900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$3A169895-B075-41E3-A113-4BA4BAA4580A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$AEAECF9E-8229-4AD1-A735-46C182B7455A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee9246f6d31df8e6ef9a2a4d199037289def53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753678,"id":"Q2753678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$61CD38D0-3BE0-45BB-B9A4-0611FB300744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$719425F9-43B9-42B5-A614-87BA7B79C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4310221850ee50b50f7dcfe7875726d390b1992f","datavalue":{"value":{"entity-type":"item","numeric-id":3656780,"id":"Q3656780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$661F3DEA-292D-4121-B1AF-600E752F2B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db296fe39f931e83619586438c15aec18bbb5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5465858,"id":"Q5465858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$BEB5F046-FF33-4AA4-9611-45EE4AEE0FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4d9ee0f8e51d9ebd2858332fee756b2d9f29f2","datavalue":{"value":{"entity-type":"item","numeric-id":3644794,"id":"Q3644794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$FA30B0D7-B45D-4D0F-8458-14999B52C2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$7C04EF58-7FCC-4C07-9CDF-44294D2B3BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55af4958577b1280c07625d9f404e4b148d829f2","datavalue":{"value":{"entity-type":"item","numeric-id":5387858,"id":"Q5387858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$6DD3A786-36EC-441A-9C81-40B9F6E97D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd27bf6d67a6d069ce32d785da5d98dbf4acf9d","datavalue":{"value":{"entity-type":"item","numeric-id":3406689,"id":"Q3406689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$6FA766EB-CE63-4E14-AAB7-0C02B32858BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$AB88B7F8-4F12-4F6C-B148-1206DA0D085C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$DAAE64DA-D5E9-4DE0-B5F5-57DFFB30880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ac1875f2bd79fe60fd4a60c4b76074c2e13d8","datavalue":{"value":{"entity-type":"item","numeric-id":2722067,"id":"Q2722067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$948CD2EB-49C0-4683-859B-510BD469065F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$A756E296-5471-45A0-82A7-1BFFF4D8A2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$E875554B-9103-48CD-911C-7B7A6B6AA976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809c39f447085694cde430904653e748ed79a45d","datavalue":{"value":{"entity-type":"item","numeric-id":4417895,"id":"Q4417895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636268$4A598EB9-8BF3-4B2E-AECF-EA6F539C724F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e4dde9e22b1b80578ef9aaf6b5dbee02126d036","datavalue":{"value":"10.1016/J.APAL.2009.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636268$FE84A4EE-5534-4B6D-8DD5-FCF280072430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfacba9bcb5ed4533ea46a692875a3f7c3b5f1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5434501,"id":"Q5434501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4264d807837295ce282dd7b61fa3e0882bffd034","datavalue":{"value":{"amount":"+0.9881834983825684","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":"Q636268$E0E3FF88-429B-426C-94B8-0B0A5526C3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5f2906d9500e896f65ea45b170c431d3117efd","datavalue":{"value":{"entity-type":"item","numeric-id":2824415,"id":"Q2824415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7742061ca3f01d6c80fc84c0940eb525dba96cc6","datavalue":{"value":{"amount":"+0.789897084236145","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":"Q636268$9AFF2E3F-E600-469B-8657-A2C695E2C659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70cacc22bac1d220c16e92ccee725744bc272db6","datavalue":{"value":{"entity-type":"item","numeric-id":6166154,"id":"Q6166154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e910e35caea72372fcc38f384d38affa50f56f5c","datavalue":{"value":{"amount":"+0.7726026773452759","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":"Q636268$35121AD1-8A74-4269-97F5-619F2A0D2A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a90c223ab4c301f2d04ef53ee8575fa60f7ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5216335,"id":"Q5216335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe96ba360f2e11b7d4c4f3e14ad347476ef2619","datavalue":{"value":{"amount":"+0.7703903317451477","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":"Q636268$DC16EE9C-667B-460D-98B6-92497A9F0F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11cdc09b05fa6f665eaf452866ea710fc5e87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5224566,"id":"Q5224566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf27213420a760625862d26fd39992e9e7793af","datavalue":{"value":{"amount":"+0.7690867185592651","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":"Q636268$F846BA39-834F-4C19-B7F4-01F98339F6F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about sequences of memory states","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_sequences_of_memory_states"}}}}}