{"entities":{"Q3000617":{"pageid":3011341,"ns":120,"title":"Item:Q3000617","lastrevid":51249263,"modified":"2026-01-17T10:56:07Z","type":"item","id":"Q3000617","labels":{"en":{"language":"en","value":"A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897378"}},"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":"Q3000617$F3F5DD23-55A2-46C1-A82A-8DB7A9B1E026","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98a744bdebe605b69bec34b97086bf69491c7173","datavalue":{"value":{"text":"A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000617$99826738-AA25-4A83-A419-8B3D4F3067D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"528dd2f02ef67e70b9bebb4ae7896cb9c8f9b457","datavalue":{"value":"1326.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000617$FC650107-854F-4EA7-9F78-125EB73410CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7de7c680c729047cd33d6453913adcbe2594c336","datavalue":{"value":"10.1007/978-3-642-19805-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000617$030DE2E7-78B1-4A25-A022-29E9E24194AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35399beeafcf6ceacecd20cc40f92da70c2d6eb6","datavalue":{"value":{"entity-type":"item","numeric-id":444498,"id":"Q444498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000617$69CAF49C-D2D0-45F8-BAB2-FE04C5B58739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000617$9DE84904-B6B9-4D98-8CE8-86857F718184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000617$213FB990-8C2D-409D-98A7-7541732E1A4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000617$9D64802C-2D3A-4897-81E1-96AD575966A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000617$54A3D4BB-1A4C-49B5-89D3-CEB0DA5D2F02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000617$F6C669FE-D82A-4442-8658-2E31F039F503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000617$749EBBEE-43E1-47B4-8DA7-C28F9E17ABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000617$AECBCE82-F9FD-44FE-8F18-FB1E0C42C05A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac19da2e4771ad33bb1e6bcf430a4b3631a0e14b","datavalue":{"value":"5897378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000617$F75B2715-514B-43B9-8EE5-9BD212DE5478","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":"Q3000617$26477FE6-7BCF-4AFF-ADA5-1D886C07216F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33aebe5943dbcfd452e852fcfe0238328e0d57ac","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19805-2_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000617$187C13F1-40A0-43BC-A60D-EFC20D400C87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bafaf8b2ac09bf5ce19003db0af38d8e949a34d","datavalue":{"value":"W1608782706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000617$C156C435-36C8-4B5A-9621-770C13B1E83B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e827e56b7b643126c7b648d889d7aa5d27d5db28","datavalue":{"value":{"entity-type":"item","numeric-id":4911302,"id":"Q4911302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aabd80b24b154e72393cd27acf74ee7b1c7c5e3","datavalue":{"value":{"amount":"+0.973710596561432","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":"Q3000617$2DD15A51-1382-4E3E-9A0A-45D1E27C8A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd5bf6d404fc69d19155260a467e98471ba2c48","datavalue":{"value":{"entity-type":"item","numeric-id":3224687,"id":"Q3224687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170a3c46dcc3db36f3a4eed84f1e4a89e972044b","datavalue":{"value":{"amount":"+0.9634400606155396","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":"Q3000617$E94934B0-05A5-4240-8C48-5FF441A194C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b923012eb702540275c430c0bd6f3906bed37343","datavalue":{"value":{"entity-type":"item","numeric-id":3557840,"id":"Q3557840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ae65ca4dea1a887e0d8fa23fabfe44de9e1276","datavalue":{"value":{"amount":"+0.7283121347427368","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":"Q3000617$A02B035F-33EB-4F1F-90FC-9339CB7769A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80daa067681e37ed28bfa5f6abfae141d1e69d2","datavalue":{"value":{"entity-type":"item","numeric-id":5408537,"id":"Q5408537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26b19ae52266b0014777438016a6a0d36e860b7","datavalue":{"value":{"amount":"+0.7168643474578857","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":"Q3000617$23A67B69-FBD1-46DA-B9DC-2B462B12D5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e38cc039f7185b43d6972fdb01efcc336ce9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4912884,"id":"Q4912884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453840529b8257afbe709708e9532455bbb632ab","datavalue":{"value":{"amount":"+0.6771523952484131","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":"Q3000617$0D3D72C3-0B4D-4910-A5F9-4DDF95AA7F17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000617"}}}}}