{"entities":{"Q513185":{"pageid":514952,"ns":120,"title":"Item:Q513185","lastrevid":62400561,"modified":"2026-04-11T05:49:46Z","type":"item","id":"Q513185","labels":{"en":{"language":"en","value":"Maximally permissive controlled system synthesis for non-determinism and modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6691736"}},"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":"Q513185$1618D731-0651-42EE-BCA2-F19C0162CEA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d16f2735da99ff677924bc2691d38138b269a562","datavalue":{"value":{"text":"Maximally permissive controlled system synthesis for non-determinism and modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q513185$AB212AD4-814F-4625-8793-89C882BF16E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e479ed3b7f9d2c1751f2da14da31d60263df6828","datavalue":{"value":"1356.93030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$2C1FBDCE-444B-484B-94F5-B5DA0557C4DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2ee03eb78744b0befa11957c4345ab91db46832","datavalue":{"value":{"entity-type":"item","numeric-id":513182,"id":"Q513182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$DFE59FE9-9BF5-4E77-8017-B1297A0D4F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$03E0A1FE-B2C8-40F8-9A2C-E1C9A8A253B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$FC0D4B31-9370-47A0-B3B0-F7AC69112D73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$5807C538-9D79-4E8D-B743-7633D12FA8D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbe5a1b0e4ce7b80503a5c1c0e7d04d4753f95a","datavalue":{"value":{"time":"+2017-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q513185$E7071674-30F2-4775-897F-225F7562972C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$9394A76F-7826-4445-B3D7-C24766FB5EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$8D7103AA-6568-49A6-BFE4-58EB6C28367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$0B49345E-4640-4FC4-ACD5-DB4144DA300D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$EE1198D2-82AD-4D2F-B7F8-F54DA77E493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$F0D52138-79D5-4D5C-885C-781BF93E18A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"130a85968ced6e628f107922f43d4e78c18a093b","datavalue":{"value":"6691736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$B3424028-5336-4199-8444-2987D77D4B3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"380045650ee0e3c8e7943f254ea1cb5032f84c07","datavalue":{"value":"controlled system synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q513185$0D2F66C2-5A59-4B67-9598-5C05B76FA9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q513185$BB52A3F6-F462-45E6-B9FC-9ADB3F8C71F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q513185$83666ED0-4468-4885-9054-45CBDDCE5D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7e3cf85b2d063e065e001f00eb6e4f641316dc4","datavalue":{"value":"maximal permissiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q513185$DC636294-3CE2-4437-B3B0-8C11B2DDFFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e5295fa967420db17bb05d1fd567ce5a7917b7","datavalue":{"value":"controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q513185$FF21D330-9DCC-4FDE-AB0F-23650B4F7F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b0a3e3800d937ebca48f0f235f7448a1509461b","datavalue":{"value":"partial bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q513185$01D3A8AA-E5D6-4F08-936C-5CEAB783CAC6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"500f970c432d1d768cc798631c7fcfec6d1127f5","datavalue":{"value":"Q59519582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$B45FF76F-7C49-4927-86DB-39BCB7D859DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$C90BD534-17AF-410A-B407-2D1A1562EFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$2E1932C8-D900-4B05-AB96-93567B67F9A6","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":"Q513185$0F588B31-4D8F-4725-9639-9D4EC8E63105","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e88f0fdf542ed0bd9adbf08a055be9997693b510","datavalue":{"value":"https://doi.org/10.1007/s10626-016-0231-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q513185$7F520993-DA7B-4BE7-B569-71BCE45D0CAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf2d9462428f7e6856924755e26215ebeb201112","datavalue":{"value":"W2522848592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$52DF6D1E-E13D-4BAC-AD7C-59BEED0FACC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7ae90865a45f4782f4d357aec271b4347861f3","datavalue":{"value":{"entity-type":"item","numeric-id":1015480,"id":"Q1015480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$BCA4A9AE-EF40-411F-9FA8-C3977A0CAF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6f51fae28da86a79e47b0f3c4a7d51532360ae","datavalue":{"value":{"entity-type":"item","numeric-id":3086918,"id":"Q3086918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$01E8D2C4-3AAE-4F5F-A125-CE832DADE1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e6db6de4a9c8f0d60ec1d1dbe987f2f7e039d","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$168EF74F-0365-4EAD-A3AD-C5E214C1E368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$BC72372B-DAB2-47F7-A524-8201397AFB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$9507DD9B-6E73-4FD3-A02A-85C179FF153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351d3ffcd8314274cbfd210166d175deef40ea56","datavalue":{"value":{"entity-type":"item","numeric-id":4789449,"id":"Q4789449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$D09DF859-07AB-4EAB-9D74-4A450E592DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$6E1EF126-3FAF-4A17-A6EF-C8248548986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$CCA68E10-4B85-486A-8070-230104C4BBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e47b263a9a8ed8fc41f2fa74d52bf0b339258e","datavalue":{"value":{"entity-type":"item","numeric-id":1365652,"id":"Q1365652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$633A5BA5-FAB2-410A-9A14-5045819601A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ac71bff610556f3a40b08057be8388f260c8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3612972,"id":"Q3612972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$16731D68-A211-4C6E-8B0E-079648FDC4FA","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":"Q513185$9A6D7DA7-8737-4308-9C79-F27FA25E33FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6f79d5aae2ac64c259dc7bf0213f9b9cffd02a","datavalue":{"value":{"entity-type":"item","numeric-id":5175108,"id":"Q5175108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$E2DAFA2D-619B-49D1-8F4B-43432841A8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d051fc12e0f3efeb944a516fc3279133a1de872","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$7B732DE2-493A-49FD-AD2E-C1C2967F2760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5643f66c7c082be8bd56dbaf0654be51518f85a9","datavalue":{"value":{"entity-type":"item","numeric-id":4536385,"id":"Q4536385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$90EF4FB4-18D4-4A39-B41F-005B36712EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72423c81755b58a715eaa812a4550839208dbe43","datavalue":{"value":{"entity-type":"item","numeric-id":4536596,"id":"Q4536596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$AC4AF212-862C-40C8-8CB4-8DF941815837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$289E7069-2E4A-479A-AC23-9EDA2270BED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdf21167536c54cb6989fbbba37aafccc543f51","datavalue":{"value":{"entity-type":"item","numeric-id":4552484,"id":"Q4552484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$6784049C-C43B-4A0A-B888-A7F78F247222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43794578a5e5c5f9427afbef7633a2928f53ea6e","datavalue":{"value":{"entity-type":"item","numeric-id":5431352,"id":"Q5431352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$9D469E36-F8DE-40AE-8428-F78C825568B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$8E02E1BA-F725-450D-A720-EBDC245E245B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39dc2bbf6aef7dae3ac383b1509aa57b2183299","datavalue":{"value":{"entity-type":"item","numeric-id":2999201,"id":"Q2999201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$9293BC9A-EFFE-49BE-9FCD-DD39E538F0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befaabe7f379a01aabd71fd7f723d7bc10879006","datavalue":{"value":{"entity-type":"item","numeric-id":4782021,"id":"Q4782021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$7117BD8F-ED28-42A1-8F0D-5101A453DD37","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"aebae1cfbed84475566497b7eef3f70cfb83346f","datavalue":{"value":"journals/deds/HulstRF17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$76D26763-6A65-4D61-83CA-7CD13ACBA434","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4db80ec472c6f9467068f7e026b5911711d9847e","datavalue":{"value":"10.1007/S10626-016-0231-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513185$28AA526A-3EF9-4974-B725-75ED7F705D97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78b5dcb5d674ae93470d655a6e09b149d0c4896","datavalue":{"value":{"entity-type":"item","numeric-id":5175108,"id":"Q5175108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6fe6664d023890f73f06107ce7a25cde111faac","datavalue":{"value":{"amount":"+0.9465054869651794","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":"Q513185$D614A0B7-ED49-45E2-AF5C-E0FB57BD9E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1797c17fa0c436941e845be5d1e2907a38626f28","datavalue":{"value":{"entity-type":"item","numeric-id":445939,"id":"Q445939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198db0a1423a93fc398f3efdbd06d17857b22b67","datavalue":{"value":{"amount":"+0.7600799202919006","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":"Q513185$5C3D966F-0CCB-40D3-A602-762363478590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a47fa96c0325ecc09f9f0946d5d9617ec11e176","datavalue":{"value":{"entity-type":"item","numeric-id":2941765,"id":"Q2941765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6024c2da9c65364dcd6e7d875467059d8b3481e6","datavalue":{"value":{"amount":"+0.7381561994552612","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":"Q513185$6E84FDA6-E721-476B-BFEE-CFFB4DE3E6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1d0a1d3c09d1830e4d092a180f751a6be77c1b","datavalue":{"value":{"entity-type":"item","numeric-id":3086918,"id":"Q3086918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e007d806aa63f5f897183e5be6dfdf301c23a20","datavalue":{"value":{"amount":"+0.7373942732810974","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":"Q513185$80545B5F-01E9-4531-8D8D-BCCB195EDA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4aa15d40933ccf3f77b308935b32277feabe634","datavalue":{"value":{"entity-type":"item","numeric-id":2059364,"id":"Q2059364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76535e329e501d147aed10f10e031df994326d79","datavalue":{"value":{"amount":"+0.7344082593917847","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":"Q513185$67CEDE54-E54D-40EF-9D61-468A6522B22A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513185$926AA4D1-9D7D-4258-8AB3-41D6224085F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maximally permissive controlled system synthesis for non-determinism and modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maximally_permissive_controlled_system_synthesis_for_non-determinism_and_modal_logic"}}}}}