{"entities":{"Q5175108":{"pageid":7204680,"ns":120,"title":"Item:Q5175108","lastrevid":58470945,"modified":"2026-04-05T08:57:20Z","type":"item","id":"Q5175108","labels":{"en":{"language":"en","value":"Maximally permissive controlled system synthesis for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6406441"}},"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":"Q5175108$A1F30784-2130-443A-AA64-089747EF5D80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c85bb0f62a4bde311836a2956bb02a9cd48ac0fc","datavalue":{"value":{"text":"Maximally Permissive Controlled System Synthesis for Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5175108$DA1D24CA-C891-4E9B-A2C0-3AFA993F4033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a8154d2f4d3b62a6d6b2421b96e72e1fa9f6cff","datavalue":{"value":"1432.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$2A7BDE8D-0903-46F0-B700-AB170BF387C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b7099583b2c5a43296e817c39cc4037e8d58226","datavalue":{"value":"10.1007/978-3-662-46078-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$47DC7527-7499-45B8-9359-ECFBCAA4C0DA","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":"Q5175108$C2037156-4465-4D93-A9F1-544F2FC8540F","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":"Q5175108$C76A22FC-FBC5-411A-BFF8-E6A10C0302EB","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":"Q5175108$779B7671-9DF9-47F9-878C-B2E7ED405858","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175108$33E2DA36-ECBC-43D0-8D91-876C190A58D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cec16c0ef5fe50943c64ee4e5ad8973edb5fb2ee","datavalue":{"value":{"time":"+2015-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5175108$B69F4C8C-08DA-42C1-88EA-D65CA5B32467","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed5d5fa5f5dbf79b273c753ed8439296ae4cf1a3","datavalue":{"value":"https://arxiv.org/abs/1408.3317","type":"string"},"datatype":"url"},"type":"statement","id":"Q5175108$02286519-8ADC-4F0D-884A-F208340264E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$A66A27F8-41B6-415E-B063-8DA8DF1AAF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$1E4D056B-F8BC-47D4-9082-1338E2E0407F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$EE697738-C198-4674-AA01-E47F7B57CE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$C2E5E3B5-F886-49AC-8BB0-2EBFC5FB8B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$64569C90-6C64-447F-88F5-A869689A16AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$475F21D7-5078-4B0E-91B5-E79035BAB516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d455a840292f4a9b3515dc013258a4b5e0504ec7","datavalue":{"value":"6406441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$7EE6CE69-97D2-4C01-9DD6-22CDA919A0BB","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":"Q5175108$381F0879-8633-4578-A440-90AC481AB940","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":"Q5175108$F90346E2-E3CD-48E7-893C-C8F8B6966E8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86ea040fa15a6cb583f85daa5f0b8836b1f3004c","datavalue":{"value":"W1574643553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175108$E289125B-860E-4B7F-97F5-F5E7FFBDB0E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897753b8f0ae7f18a0e7bbb920315aa82a12929d","datavalue":{"value":{"entity-type":"item","numeric-id":513185,"id":"Q513185"},"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":"Q5175108$F68403F5-EB6F-4E87-88D0-E69030E9AF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c83fb51ef3a62e1206598fc755e67b91ec318bd","datavalue":{"value":{"entity-type":"item","numeric-id":4506591,"id":"Q4506591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db27d95090212fc8dd71b8e60a12d84bdc5e82c","datavalue":{"value":{"amount":"+0.7609716057777405","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":"Q5175108$9EB4805B-8847-4FF8-A33A-68E6794C1818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45be18e72171e6dc920bbcfc29403f899eb3a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4647840,"id":"Q4647840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bd15f9918816baed5cfc8a3505fd2fb48d36d4","datavalue":{"value":{"amount":"+0.7452128529548645","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":"Q5175108$DA375663-236A-459C-A574-79A3FC87BC74","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":"1d8b7c24dcd8a9f87a472c798e7f3602dd4077f9","datavalue":{"value":{"amount":"+0.7422228455543518","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":"Q5175108$A03733FC-2A75-4589-A65D-61A036E44C0C","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":"30b0701fcaf12e934ad070d5b07c66859f13060e","datavalue":{"value":{"amount":"+0.7365522980690002","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":"Q5175108$85373623-36C1-40EB-B7E3-C76F2D256DFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5175108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5175108"}}}}}