{"entities":{"Q2665348":{"pageid":2676091,"ns":120,"title":"Item:Q2665348","lastrevid":57051777,"modified":"2026-03-26T10:44:43Z","type":"item","id":"Q2665348","labels":{"en":{"language":"en","value":"Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7430138"}},"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":"Q2665348$6D3A9C1A-487A-4CD2-8CEE-9B4D4A0F6ECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1470018171a6d3afc41e02e021d900b749132a07","datavalue":{"value":{"text":"Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2665348$32C06351-9E0A-4D73-931A-77E52505F445","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aebd6ebd73f583e5dfeca101390586efde7a6901","datavalue":{"value":"1478.93187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665348$E452EA1D-29CD-48ED-AD53-8FF7C49B5B6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2872b87849f89c8a14a752a2ac109c0d8a6ecc81","datavalue":{"value":{"entity-type":"item","numeric-id":262427,"id":"Q262427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$923C3039-5700-4B7C-877A-413CF92B1FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$B1D6E535-0C97-4518-A04D-A90864E410EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e531e365cc978e29d5eaf95c4a4362d6f1da98b4","datavalue":{"value":{"entity-type":"item","numeric-id":2665347,"id":"Q2665347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$DF782A03-8CC0-44D4-9F50-1791C68255C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$052E0FE6-140A-4302-9545-284ABA5462A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95013a4f6c4b451ec787f91e571c1c67a0e562c9","datavalue":{"value":{"entity-type":"item","numeric-id":313325,"id":"Q313325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$B524133E-C560-43D2-A609-63E11AF93E40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$E65642BA-C95D-4628-93FE-11FFFD255538","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367677b6c5d204ad2ea10438908eaecdeb1495e8","datavalue":{"value":{"time":"+2021-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2665348$438E5169-2AD1-47CC-8C70-8F4BAF140D31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665348$621F142A-EC41-46BA-896D-C17A7E90FB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665348$9EAD636B-08CA-4B34-BD1E-D7F24C0B25C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"481396d410e03ef62a46c4e812578308cbb818b3","datavalue":{"value":"7430138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665348$ECED3E92-AA83-478D-906A-681C9D19F750","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665348$B7F009FF-C1CA-41B1-B137-C7D1FF7E7912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9414f70f2a027a987be69258c7ca9f8dd336dcba","datavalue":{"value":"computational issues","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665348$62A1441C-5F52-435C-BC32-8583B392D153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd0c43aac2e70ee6c551fb98a536d7e51cae7361","datavalue":{"value":"controller constraints and structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665348$C66EFA34-6844-4A28-8AFA-2F1B680F477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665348$21332918-3624-4042-896C-39D8505AE7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e68b32bef13a61ce32ec3cbb4e6249c45213c2","datavalue":{"value":"LTL specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665348$2A801C2F-9D0A-480F-ADE9-39213FC1C859","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85b4fffe34942dd1a5f8842e6c1ab1f389eb4f67","datavalue":{"value":{"entity-type":"item","numeric-id":31994,"id":"Q31994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$685048D2-5C81-41F2-9638-B65AC8809909","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":"Q2665348$0FE088C8-4D3C-4238-A591-F9A60DECF792","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22c2dd883af4a11548c2c664ecb6f93f1f4d6955","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2021.109723","type":"string"},"datatype":"url"},"type":"statement","id":"Q2665348$9186FA00-5123-4A38-96FC-7E0C815C07F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ce0c9cbc513dcf4432b4ca84c77b06f26d10001","datavalue":{"value":"W3166440625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665348$42CFF56D-8ADE-424D-BAFB-A37D3D29450B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$6A5DB6DB-8548-419D-A1D9-B0309726FD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$02606FEB-1395-4D1F-89E3-895B18C15BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$AA799F18-A588-4801-B9BF-B9CD176FA87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$F17FB8AA-C4E0-4D48-86DA-667D8F1BB3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446b162a550d31227d3ef83b310ed5d95ae22225","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$A483732F-9359-417C-A4DD-FA04E0F424BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$210BFA30-137A-4B9B-9860-C7E7B5F0775A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba42f9317a46939291644744f1171a9880a72213","datavalue":{"value":{"entity-type":"item","numeric-id":5277714,"id":"Q5277714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$2ADD03C8-7495-4952-A162-6CE94E478D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$50204E66-56BC-4781-9E2F-B7D9AA539015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8ad98750fcd08c9a8f3be99c0b013a08ae3ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5353268,"id":"Q5353268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$A7614A16-689B-4D73-B587-C7F951E5EDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fd1a61c8b6e248a78e22025e281b409a71932c","datavalue":{"value":{"entity-type":"item","numeric-id":4568011,"id":"Q4568011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$CB20E52F-529E-4A44-8354-3AEB1A948D65","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":"Q2665348$2B55FA19-A24E-4C69-8C89-C1945FE9EDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b4b0c4db610b76a647815a7e39d338386e98fb","datavalue":{"value":{"entity-type":"item","numeric-id":1693823,"id":"Q1693823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$FC8D50E1-9841-4E76-B63E-D42BE7F86EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$789A186C-54A5-441D-A7A1-09E01DC3978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dbd22969ccd576c52eace0c35df89efd526398","datavalue":{"value":{"entity-type":"item","numeric-id":3818944,"id":"Q3818944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$EADA5B7B-EF53-48D8-929D-43521D5B0030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a43cd86c4e56de3188d95c3407dd857965f3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5282424,"id":"Q5282424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$3240E32B-21BE-44C8-984A-92E84456A491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$1C6CE762-04EA-48B9-B6CC-5A6593A6DE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2b35642ecbde9043afe635b91dcdce5ffc618d","datavalue":{"value":{"entity-type":"item","numeric-id":5352883,"id":"Q5352883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665348$4BFF3E7C-1A10-42C2-9639-A53391AC162A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f059bed3308f05320d81b3bd45d1d76a14ff3052","datavalue":{"value":"10.1016/J.AUTOMATICA.2021.109723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665348$8068864A-B595-499A-9C27-670C2039444A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d4572116fe6db6e0dd668c71a1cefa3b2b359a","datavalue":{"value":{"entity-type":"item","numeric-id":4897712,"id":"Q4897712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3a83522044f43fa0eded513f5f7af504c270b0","datavalue":{"value":{"amount":"+0.7545109987258911","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":"Q2665348$608045A3-CD43-45AB-96E8-7873CC5B3734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28e12b549d1774a26740a88a5632490d85fb331","datavalue":{"value":{"entity-type":"item","numeric-id":2985872,"id":"Q2985872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ce5d2c50e8f0c33e91acc741c7320524d49225","datavalue":{"value":{"amount":"+0.7513473033905029","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":"Q2665348$EA5FEBCD-908D-4858-82DF-07A41725BF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08efc1caa2377a150d0ad8101eb6cf5e821215e","datavalue":{"value":{"entity-type":"item","numeric-id":1631235,"id":"Q1631235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a19f167836777279fc05ca87ab9e85a0e3c83fb","datavalue":{"value":{"amount":"+0.7489295601844788","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":"Q2665348$ABFE84BD-2597-40FB-A7D1-2C9137BECB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b424b1afb6c618f3e364b42b5fc8c7830e52d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6b371e78e46332419c77644e04f8ac3802d1e0","datavalue":{"value":{"amount":"+0.7465502619743347","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":"Q2665348$D71D6289-99C1-4DD3-85A7-3A65649C95AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47570b53badf4ffdd63dbd6dbb55c92dfcbdd970","datavalue":{"value":{"entity-type":"item","numeric-id":2249659,"id":"Q2249659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e9cb3af694c55d2f8aace6498fad39de86539f","datavalue":{"value":{"amount":"+0.7444565892219543","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":"Q2665348$06C04822-BA5B-4DA0-B472-3807A81D3BD2","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":"Q2665348$9F1DE30E-093C-40DB-AB49-D5D30EB832D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2665348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2665348"}}}}}