{"entities":{"Q5856409":{"pageid":7885960,"ns":120,"title":"Item:Q5856409","lastrevid":101871587,"modified":"2026-06-06T03:02:34Z","type":"item","id":"Q5856409","labels":{"en":{"language":"en","value":"Modal logics for nominal transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7327939"}},"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":"Q5856409$C1F92F1D-7AD5-4B57-AC2E-E9B892EE2443","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$A7A13248-0119-477B-95E8-4EC742B1E84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ac0ece65ffa29f2cb3e18f66e3388d5684450f","datavalue":{"value":{"entity-type":"item","numeric-id":2233469,"id":"Q2233469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$812FB762-7BAC-4026-8B7E-455AA0AE58F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecb89446571b6ccbfaaa6bab162f4843bdcc0df8","datavalue":{"value":{"entity-type":"item","numeric-id":3691054,"id":"Q3691054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$E62F4A85-A553-48B4-8D4E-8B02B9674A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dee17b1cc070f0645d51f5f71f3c6ceecf4ad6f","datavalue":{"value":{"entity-type":"item","numeric-id":5856408,"id":"Q5856408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$08DD48D9-ACB2-4E6F-B4B4-A1291224D12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f8cd3b806fd78547b3f4844ba487e41a5ec455","datavalue":{"value":{"entity-type":"item","numeric-id":286783,"id":"Q286783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$4F81618E-E580-4D76-819C-6EA7978F8B55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8fba84eb94214fe49723816f0b730e9575dc50c","datavalue":{"value":{"time":"+2021-03-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":"Q5856409$2E5DCFE1-0BD0-48B2-98A8-BEBA9FB162DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33155e7317845baec6c39cb31b9d42b816de68dd","datavalue":{"value":"https://arxiv.org/abs/1904.02564","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856409$3EF55EA6-96D7-4ECF-885A-8A68C83D080F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"55fe8529d772e8c8aa6107546ae88d04601468e7","datavalue":{"value":"https://lmcs.episciences.org/7137","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856409$87E37E9B-668D-4B20-BC88-6872C4D5CC6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856409$0C0B639E-1BE9-412B-AFE2-C4FE80764FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856409$36CA70FB-C5F3-47A2-84CD-EE150B54F2AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2b127d6c940ca4ed561fb0203672821ee326d06","datavalue":{"value":"7327939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856409$694ACB1F-E831-431D-BF11-AC4348C05134","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0db97d1f6d295f671d08d3e0ef6408e6a7f0f440","datavalue":{"value":{"entity-type":"item","numeric-id":26927,"id":"Q26927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$BFED3340-02C1-4127-B1BC-1877E185607A","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":"Q5856409$AB06DAB2-1906-4BC6-B33A-088DE305C56B","rank":"normal"}],"P223":[{"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":"Q5856409$9DD4F93D-58AC-46B1-A7E7-3EA32AAE7FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$B38EFD70-29DF-4FA6-AD7E-68BB912BF05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$7ADC132F-7434-45F0-89CE-681540517B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e75c7b02cf45a3853cd69ad4da85872bb7f47c2","datavalue":{"value":{"entity-type":"item","numeric-id":5111619,"id":"Q5111619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$DF198045-C92B-4A46-8213-07661C9D5B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$1DC0191F-72C4-4FC0-A2F8-1FA3EB539216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ad7ac3b1b97b4fe9ab110c631c4be3d1ac16dd","datavalue":{"value":{"entity-type":"item","numeric-id":3519494,"id":"Q3519494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$0A2A935E-EB99-4A7D-A21F-6C7C8E71B852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$3418F970-D95E-46D0-BA09-FB9EC3B37F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00333b8c091e6b82fbc0cc7a0877cc914b98fb94","datavalue":{"value":{"entity-type":"item","numeric-id":5756485,"id":"Q5756485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$A295234A-9B51-48DF-9D41-F1E74AE123B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505d226cc763994e4911a25be3342dcdc3812b64","datavalue":{"value":{"entity-type":"item","numeric-id":5458401,"id":"Q5458401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$720B6275-991C-43E0-809D-AF6F9C5E1700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58408ebe2fe345e1f57abaff5f1bf53e4bceefb3","datavalue":{"value":{"entity-type":"item","numeric-id":2879247,"id":"Q2879247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$FFFDB004-DF51-4772-A487-F27BC3FC1863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fac79da2aadffe02ca14a2987f4edba501a703","datavalue":{"value":{"entity-type":"item","numeric-id":4738326,"id":"Q4738326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$5FF0145B-98E8-4054-860B-CE99B10B319C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$F23243F2-C896-40D4-A06F-17FB8CE8F56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e6bfa9fd1705edeafb2d476da08243926866f","datavalue":{"value":{"entity-type":"item","numeric-id":549180,"id":"Q549180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$E9108F47-0331-4866-B082-A8943E1D7986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1655f4b54c34b1728eea7080448cc5236c5e3cb8","datavalue":{"value":{"entity-type":"item","numeric-id":3178277,"id":"Q3178277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$621E5554-6257-48C0-A406-63ECA1A6BFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b719f6e7af3195d0264fc4daa35d3715250c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4328968,"id":"Q4328968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$096C9158-257E-4F95-BFDB-F58D9FF64067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7354c078ca1bcf23d6037391e2a7ec7a2200a","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$FD8322E6-FDF3-4C35-95E0-5BE397F870C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adeabbaddbd73caf2a5ae2e9a0a8747c0583599","datavalue":{"value":{"entity-type":"item","numeric-id":5458061,"id":"Q5458061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$4A670AEA-5E77-4E77-915F-CF58F4D34EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$0E31F80D-A96D-4DB4-9821-BC4E9ACE9601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f70e7188156d403f522b81c0f9facf21845cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2842609,"id":"Q2842609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$5D5C1FD9-27EB-4BB8-9A99-886D00CA2659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5b239a2f303b2c8313b2ef3a973a6390b54360","datavalue":{"value":{"entity-type":"item","numeric-id":4664925,"id":"Q4664925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$70A0E9F1-2BB6-4D4D-8182-350F43964FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e83cf139ac7f5ddd0bdf9e3501d9ca22e10f006","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$908A6FFD-E02D-458E-AB96-BA8117F79BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$DC84F901-12F6-4688-855A-73668EE18A94","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":"Q5856409$8D505BA1-427A-4870-A764-84D270194226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3680a609ad1617b27cdc4ee102500a7da1b5d9b8","datavalue":{"value":{"entity-type":"item","numeric-id":5262936,"id":"Q5262936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$8E27E263-21F2-4591-AC4F-DAD5EEB67DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5960bc6d015ce1628de05676a7a97e178692923d","datavalue":{"value":{"entity-type":"item","numeric-id":1706141,"id":"Q1706141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$7360A0E2-4203-4816-A5D0-93C8E4AE10BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fca26911de288e552a95cadfd34c3dcedd6ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":456466,"id":"Q456466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$87DF736A-6A13-4859-A7D9-A07118D778C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dd0bf58729b9e9ed0305e51f754586bf767318","datavalue":{"value":{"entity-type":"item","numeric-id":5111198,"id":"Q5111198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$D7AE5C6C-021F-4721-8761-22DA98ECDAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$093DCCEE-21F6-4DB9-8838-46BBE3F1851D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$8ABE5CD7-928F-4FC1-ABD3-4D47F23B1B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$51EEED22-7C55-4644-88FA-D936ACFF59A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$F9F7C322-0947-494D-98F3-13B9CB5655A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$E1FE8E4E-048B-497E-BD0C-9B3792F0EEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$3ED95A57-2413-4655-B09C-6D40E03AC687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$53A9DFE1-472C-4773-BBF7-35FDEB08CE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$976BBB5F-8106-4BC1-AADD-54611442D828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$0A461658-313F-4508-AC79-2401365A5355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ffef44f4d63520001869844161b5a9ab99f758","datavalue":{"value":{"entity-type":"item","numeric-id":5357704,"id":"Q5357704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$061175DA-686F-4204-84F1-A18DB9665E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb700a804f495f74faa9557fbe427450b58c650d","datavalue":{"value":{"entity-type":"item","numeric-id":1878715,"id":"Q1878715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$BAC76D3B-E3F1-43E1-965A-460F8C8CAD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$B4E8FABA-6A4E-4DD7-9FAF-F5D7736B5D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d4a2aad4cebbcfa646c9c5d2e3fb1738d09daf","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$E501E16B-C187-4AB6-9902-7F3FCD01E527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cb876fd4dd36ff31fdabc99386e316ba8491e8","datavalue":{"value":{"entity-type":"item","numeric-id":2566040,"id":"Q2566040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856409$04E15CCF-1453-4F75-B9AD-7B0EA8F94BCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297acb1c2498070a6911b004240eb0e77b3f478a","datavalue":{"value":{"entity-type":"item","numeric-id":5357704,"id":"Q5357704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ac44151582802345d99b7c0e20d1ea6cca41c3","datavalue":{"value":{"amount":"+0.9489672780036926","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":"Q5856409$D8F8B528-F5AF-4163-9538-628CABFABCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21eaa7a5124dd17c38fcef3e55807ee6c43eab9b","datavalue":{"value":{"entity-type":"item","numeric-id":5082196,"id":"Q5082196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6629dede36ddd9e742a7a46807830cddbe3b3def","datavalue":{"value":{"amount":"+0.8567285537719727","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":"Q5856409$4BB3ADA7-2A37-4954-A174-E695DA481148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d516365ad3d2c93845becc1ef3955718e52ba42","datavalue":{"value":{"entity-type":"item","numeric-id":4316304,"id":"Q4316304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79bcbf8c8833ed15f1de5fd326eca90fdc82cf8e","datavalue":{"value":{"amount":"+0.7847155332565308","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":"Q5856409$BA609489-8A36-49CC-905A-D76F0B7FC3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0404f6afbb7eec6187725b2ac097aaa6232258b4","datavalue":{"value":{"entity-type":"item","numeric-id":3395094,"id":"Q3395094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79bcbf8c8833ed15f1de5fd326eca90fdc82cf8e","datavalue":{"value":{"amount":"+0.7847155332565308","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":"Q5856409$1002BCFC-AB24-4526-A674-36A039518BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b39845a2214ad6d1bc8328203339741e3d2623","datavalue":{"value":{"entity-type":"item","numeric-id":5458061,"id":"Q5458061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ecd6bdffbae33848f8fdccbeb957c67da44e6e2","datavalue":{"value":{"amount":"+0.7573005557060242","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":"Q5856409$A2EC8481-EDB4-4196-94D2-778F239655DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics for nominal transition systems (scientific article; zbMATH DE number 7327939)","badges":[]}}}}}