{"entities":{"Q4911302":{"pageid":6940881,"ns":120,"title":"Item:Q4911302","lastrevid":51669350,"modified":"2026-01-19T09:28:57Z","type":"item","id":"Q4911302","labels":{"en":{"language":"en","value":"A step-indexed Kripke model of hidden state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145107"}},"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":"Q4911302$0B130B78-9339-4359-9A4D-B74968BFEDAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bfe5bc9893220499a0ac46cc7aaf3d25af6dc25","datavalue":{"value":{"text":"A step-indexed Kripke model of hidden state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4911302$28981ED3-C961-41F5-9728-CA95D92DE8FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d25d4e13f413ac76dc0fdf1dee95164b9047f535","datavalue":{"value":"1276.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911302$DC159181-AEB5-426A-A9B9-50BE18565A3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"872859a9e0d98631b42211902ac401c2c57c0638","datavalue":{"value":"10.1017/S0960129512000035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911302$F78E6DEF-F508-47E8-81C1-C1A0818B1B96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e100a9ec349c9a09af054c90a9680f202a82f59","datavalue":{"value":{"entity-type":"item","numeric-id":670698,"id":"Q670698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$0B11E6BD-52DE-4075-B381-4ECCFF99BD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$38491295-07B3-4CF6-A71C-E48921B487DD","rank":"normal"},{"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":"Q4911302$75ACFA85-4E82-4A2E-A7B2-DC90C824CDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$E7BE3843-2BA6-47E6-A350-FEF96693C3E1","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":"Q4911302$9FA6DA94-D679-48C3-B594-7B6A2CA2E17A","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":"Q4911302$EFCDB175-A085-47E2-BF1C-332CE67ABF06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$7A4DDA1E-402E-48C8-B895-67B5283CAAC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7e0886d88603a3eabdb3760bc2a5d84da152014","datavalue":{"value":{"time":"+2013-03-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":"Q4911302$7836BA3A-756D-45C8-96A6-80C35227B074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911302$21EC887C-F58C-42F4-BD77-68EE41585F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911302$7722FC06-13F0-4B6F-B643-9013E8879708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30e1beed5e44418b09102cbf3194d5ebf95d2efe","datavalue":{"value":"6145107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911302$0DD287B2-9FDF-4289-80E1-90D8168AD0AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf662ee3cfc61f742203e228a581f6b6ffdfe32e","datavalue":{"value":"frame rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911302$004E5F31-1D8D-493B-AD88-D1410F75F7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3155c2e7cf5b06c798ef14065482bcee721bf6dd","datavalue":{"value":"anti-frame rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911302$44B4BB43-0B58-454B-B5E4-360BC9CA63AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb4d1023ccb1e69953db44cb8efa8089eb45f51","datavalue":{"value":"Kripke model, hidden state","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911302$9A3E464B-479C-4883-B75F-B3BCDAB7DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d3145bcbf6377ccee3f2ba291d43a8fa4f78ae1","datavalue":{"value":"typing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911302$639A6AD1-FB37-49E0-84D2-8C03DCB3E4C1","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":"Q4911302$FD9B6076-7F80-48BD-BF51-435DCAC73AA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$35A93264-4401-48C3-9ABB-15C76227F82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09b3091108c83af9f420dcf6fb2ccd5964c49c8","datavalue":{"value":{"entity-type":"item","numeric-id":604478,"id":"Q604478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$27F92957-04F4-4F74-A82B-58C03D5E943A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$8051A34E-2B9D-494F-86E7-0A173D06D4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$FFE3AF46-9A89-4601-A605-D97DEA74DD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$44CEFF6B-3547-455F-8149-5CB8AA3AF4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de173836c028013896cd8bf3b02fa6e12262641a","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911302$D866631D-5896-4CB0-AA09-87F46144E9DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428072163f3df15e2b1f8b280d6a990d407c5d52","datavalue":{"value":{"entity-type":"item","numeric-id":3000617,"id":"Q3000617"},"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":"Q4911302$D224A014-B595-4363-8C81-337B452BAC5F","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":"e0d9c7742be97a75bc5e95d2f5aa80e81ae03c58","datavalue":{"value":{"amount":"+0.7641009092330933","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":"Q4911302$02DE3CD9-99AC-4111-8FF3-4C47B2CDEC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b776098878c4a03ae48d19761d0037e82e451e1d","datavalue":{"value":{"entity-type":"item","numeric-id":5395717,"id":"Q5395717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8fcd7fc9a57ca53111f40d0b32f01e5854adac","datavalue":{"value":{"amount":"+0.7039445638656616","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":"Q4911302$67395457-8A64-4930-AD8F-CF9CC6DF38A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a77b941a3abb9999c48f59af81da0e22899f40","datavalue":{"value":{"entity-type":"item","numeric-id":3558212,"id":"Q3558212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b27b71bfbd4eed33db00181c337f59f4d81d0c6","datavalue":{"value":{"amount":"+0.6959702968597412","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":"Q4911302$36E9801E-5D2B-4F55-84D4-770C43B4E91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5410b57f751fa522fcc88af509181771eef3ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5739354,"id":"Q5739354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b009fd781d78f7441e07b6763c4bf7e9b79bd8","datavalue":{"value":{"amount":"+0.6930690407752991","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":"Q4911302$833277E7-E759-4523-A3B1-660CDB300CEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4911302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4911302"}}}}}