{"entities":{"Q4586135":{"pageid":6615720,"ns":120,"title":"Item:Q4586135","lastrevid":53200235,"modified":"2026-01-24T10:56:23Z","type":"item","id":"Q4586135","labels":{"en":{"language":"en","value":"Finite non-deterministic semantics for some modal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6935510"}},"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":"Q4586135$13E1DE9B-9BF0-4C83-B0AF-383DBB049B8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffd36a034d9c9dfbedbe6e733bf7e948b7a5551c","datavalue":{"value":{"text":"Finite non-deterministic semantics for some modal systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4586135$22B2BED4-6A12-4313-90F1-C6AA3C1FEB6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e2130512e08be21839622af9834deebbec3de41","datavalue":{"value":"1398.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586135$67A02999-E7AB-4056-A393-BEB2F4B64B7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"418066112653858261c169349a4640527b1c3de8","datavalue":{"value":"10.1080/11663081.2015.1011543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586135$E9B17124-9FCF-423D-86D4-DC671FE4FB3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$88796B9E-208B-4E46-A526-C7EC4D0F612A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14b450311ed738e427327f4a9f537dfc447c19e","datavalue":{"value":{"entity-type":"item","numeric-id":4586134,"id":"Q4586134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$099D6CFF-3390-497C-A52F-50070998E963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ad51ededfba9fb02103a787da804b6544909e46","datavalue":{"value":{"entity-type":"item","numeric-id":1945705,"id":"Q1945705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$29D720BA-69E1-4D1B-AF76-E9AFBAF22AD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$76204168-5520-439C-9BCB-6E0CF3B4A277","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"655dac8f5dda40a8d093e159bbdfdcfade2b2927","datavalue":{"value":{"time":"+2018-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4586135$131F4BCD-479B-44F1-80D1-C0B358B252CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586135$68DE38BE-0F13-4098-95F6-6BA20FE76A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586135$2893DE25-D2D6-4AEB-BEEF-4A4E3230E4F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1c50a2c9008e52f402b3e9cdc42e6408e7e9822","datavalue":{"value":"6935510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586135$59E7B8FB-5B3A-4263-AF96-CC3BC2BC751D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586135$6675D954-FC02-434D-BF8D-6C8D7DF8C2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"029800e25b88b7c01a8227f5eeb739c450063ac4","datavalue":{"value":"non-deterministic matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586135$B36C3505-FD44-4F23-81C4-A7A854888007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586135$C3743E3D-822D-42DF-A596-2D97B5330EE4","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":"Q4586135$2A8FAA46-B2AB-491B-89C8-D685A96A7260","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fb9cb8be0f938fd2b0b75392391911e5aed8682","datavalue":{"value":"https://doi.org/10.1080/11663081.2015.1011543","type":"string"},"datatype":"url"},"type":"statement","id":"Q4586135$682850B4-9367-4724-9AD7-29AFE128EA39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c97b6e571abad6aa32529937b0faa09c1f65147","datavalue":{"value":"W2026580636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586135$C1A25B38-82A2-4041-96F1-761DE043DA83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"811af9d43ba55ebb9620b9a6e26325e7767cb49f","datavalue":{"value":{"entity-type":"item","numeric-id":3520843,"id":"Q3520843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$4E010AEF-02D1-4CA2-847C-F2A14F7AA404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$D08377AD-C6DD-48E1-A90A-9E9B58E08278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124f7cc0d7a296d9ee4218f67492dbe433225e01","datavalue":{"value":{"entity-type":"item","numeric-id":4329287,"id":"Q4329287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$2FC81331-3028-460D-94BC-2B9AD071F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f31c6279800177c8b7388bf5a45fd54ec4af5e","datavalue":{"value":{"entity-type":"item","numeric-id":3007252,"id":"Q3007252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$C3E7EB6B-611E-4948-B0CC-237B67231FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$80AF7B5B-304A-4088-A394-F164502679CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$FA30551A-7E03-47E6-841F-023B05E371E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002c4079320707bfb7fde536df207f2ee2cab7b8","datavalue":{"value":{"entity-type":"item","numeric-id":2254571,"id":"Q2254571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$B3FCFDCF-41A3-4031-863E-1B900D5F9A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33f86a2eb1bf18538cbb0708a6c0704b31c5228","datavalue":{"value":{"entity-type":"item","numeric-id":3680806,"id":"Q3680806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$EA486405-08DD-495C-9D36-ACA1E2CF0649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe733aac765e8a2d52ecf16b04b98ed7cee971fd","datavalue":{"value":{"entity-type":"item","numeric-id":5752543,"id":"Q5752543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$9F0AFAB5-556F-4803-8934-1363DA7BD61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188ddeb1df6f2cebe36823c656a019084c6c75a6","datavalue":{"value":{"entity-type":"item","numeric-id":4303543,"id":"Q4303543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$2AC42D3C-EC40-4BC4-AB16-82B437075740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5983c1d1841f94136d6a18aca9a33dc1a51d61b","datavalue":{"value":{"entity-type":"item","numeric-id":3149218,"id":"Q3149218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$72332E3E-B77D-4EED-A2B0-4B041DC96EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133b3ebb8155a5b2fd334dd16f264dc715c913ad","datavalue":{"value":{"entity-type":"item","numeric-id":3936716,"id":"Q3936716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$68B78BB2-EA7F-433D-94BF-314B7D093194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39dd5ae43e19ef6119848f4ff93fa5ead468857c","datavalue":{"value":{"entity-type":"item","numeric-id":5901588,"id":"Q5901588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$A77709F8-D618-4720-B06E-79DE0A85E861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$C6F0D0C5-6EB9-4C1E-B0B3-3EEED92130BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371429f546a4764331068bb46ddde929cdbbb450","datavalue":{"value":{"entity-type":"item","numeric-id":5546768,"id":"Q5546768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$B83B254F-5D73-47B5-BBA9-13D97C457DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059dd89a45c8f4f35ffad8fcd66570d17d2c8f97","datavalue":{"value":{"entity-type":"item","numeric-id":3647284,"id":"Q3647284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$E43F7B71-74FB-4E5E-8AC2-C4B1DABB22EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887ce5f4ec8106c03179c52644f85b4435520288","datavalue":{"value":{"entity-type":"item","numeric-id":3791124,"id":"Q3791124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586135$BE0258F5-789A-4025-80E7-DE3BDEC2B564","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f947f09f2ec5786a66cc92aef1676e3101e3bd18","datavalue":{"value":{"entity-type":"item","numeric-id":5082324,"id":"Q5082324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04362f8fcdd2bb7d96f51f006607ecf9c47ee85","datavalue":{"value":{"amount":"+0.9055464267730712","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":"Q4586135$EC275D7F-7507-423E-8DFB-69E6930AF798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11de348693e72ee51cfb6aa2e95b862e239e3f00","datavalue":{"value":{"entity-type":"item","numeric-id":3007244,"id":"Q3007244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe6c73b6f98f0a3b5dacfb060c4ebc8f627f1b7","datavalue":{"value":{"amount":"+0.7957464456558228","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":"Q4586135$86BB750D-3E88-4DF0-B51B-FEF23BAB2FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826c5697af1008ecd9ce3bec15eb36d6b323db91","datavalue":{"value":{"entity-type":"item","numeric-id":2254571,"id":"Q2254571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f638f218fc8a1dc4a1bcf7b1f9212f9a992b6ec","datavalue":{"value":{"amount":"+0.7833959460258484","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":"Q4586135$6E7FDBA3-FE26-425C-9BC5-FD6E55C96979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5e889bd2b80410876ae1e408f75ca48bb896f9","datavalue":{"value":{"entity-type":"item","numeric-id":2987046,"id":"Q2987046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7505bf3e88a7d94bb41ac513b4f3535e85d5dc09","datavalue":{"value":{"amount":"+0.7773420810699463","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":"Q4586135$39D57859-C444-4B11-B5D3-E3782D7E20DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f855e2ebbbd8003dd6356d9fa897a9a6bc662010","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a503310d759814b64fe16340d29b88f3b64953d","datavalue":{"value":{"amount":"+0.7669339776039124","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":"Q4586135$B11C17A5-2ABE-466F-A106-A396A746B596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4586135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4586135"}}}}}