{"entities":{"Q434470":{"pageid":436237,"ns":120,"title":"Item:Q434470","lastrevid":61891983,"modified":"2026-04-11T02:21:47Z","type":"item","id":"Q434470","labels":{"en":{"language":"en","value":"Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054192"}},"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":"Q434470$90614B2E-F4D0-4CC2-BDAC-EA6194C29A4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89fa252ec596d53a033956704764dfa3c2c5d950","datavalue":{"value":{"text":"Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q434470$692F8304-5649-4052-AB78-C4912344D85A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"272aea4e3a88f76a96bab8baf21140387d4430b7","datavalue":{"value":"1242.93074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434470$C5953CE4-9550-4DAE-8343-39DB3EA33E79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"461af65a91f81502891b047a386f5e21fa62f8a7","datavalue":{"value":{"entity-type":"item","numeric-id":434467,"id":"Q434467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$7F1575FB-1493-49FE-9ACA-82FBBEDBB1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5476bcb6b1d8c92418967d714dff7d7b486f51","datavalue":{"value":{"entity-type":"item","numeric-id":434468,"id":"Q434468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$2FC92A0B-DF36-43C6-8566-8DAF3788C91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"757bae5b07e6aa09beae0ab8d19b245da3ff0837","datavalue":{"value":{"entity-type":"item","numeric-id":378901,"id":"Q378901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$FC851EF5-89EA-407D-A9CC-6DC4FD8DDF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6caec4e9d49e32f5195a34995a38b886bb43ebe9","datavalue":{"value":{"entity-type":"item","numeric-id":434469,"id":"Q434469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$5453B9ED-C500-4150-AC29-F81DCB38F035","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":"Q434470$C39C1685-138C-4847-A68C-7669C0256CFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49b2f35c9a8cbc0d3bc23bbd70851d4c3ff3498","datavalue":{"value":{"time":"+2012-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q434470$D812D0DA-9D88-47D5-8A8E-88C16B4F1AC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61f2bd13aeb12cf9925220d1e30d6cd9caffd755","datavalue":{"value":"https://dipot.ulb.ac.be/dspace/bitstream/2013/133310/1/KLMM10b.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q434470$0F9C8A72-E087-46E4-AC88-5B3B540CD534","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434470$AE44EB15-E2D1-4B2B-B54C-AADCB6827373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434470$9A5C531A-CC86-4E7C-8BB0-9899DB0F4879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0916e5de0ac6f52471290e56f7212aa9a67dd8fe","datavalue":{"value":"93B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434470$31E01CDB-8924-4E6C-99A6-A318A784F53E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d3bb459d7223d689a68ac93699d66ded80e47ad","datavalue":{"value":"6054192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434470$9F7878E3-FF79-4959-8503-9DFAC21E373F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ed23b56706181cc9ffcdabfa285224d121dcf0","datavalue":{"value":"symbolic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q434470$31294724-A8A6-4E7F-A921-0834BD1E64B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q434470$85BF553B-8C95-40E5-9563-3F93846D2645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cddcabf41878067652cf2c4b95126b38483a3","datavalue":{"value":"partial observation","type":"string"},"datatype":"string"},"type":"statement","id":"Q434470$828C502A-9C6A-4197-B1E9-A330413F0842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q434470$AB912A8F-0379-43B2-82B8-73332763E56A","rank":"normal"}],"P1463":[{"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":"Q434470$027846C4-ABBC-46BC-9860-7BD57B87CEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7d40033d2de335da07d1d266ea11906b0c98981","datavalue":{"value":{"entity-type":"item","numeric-id":44983,"id":"Q44983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$F81D1BAC-D90C-469A-8905-9EE8C015F36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$5ECD99C8-32CF-491C-AA56-14D7C7A73C87","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":"Q434470$F519E59C-73EC-4659-8166-395F3854A674","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b5db49443aafebd2c07baedd779b22d7cb0e3ac","datavalue":{"value":"W2045602111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434470$FB831A8E-DADF-493A-9C0E-A8D8FAA2620E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090fc2f3183667882821745918fa4e0d68d92806","datavalue":{"value":{"entity-type":"item","numeric-id":3140095,"id":"Q3140095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$4E722165-467A-44FD-B401-09ADE2A455F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa31839a50f544b3987967f6d5aad4ba22607f2","datavalue":{"value":{"entity-type":"item","numeric-id":752649,"id":"Q752649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$F9B198B6-060E-4112-A3C7-D46C34D53B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$73F60045-BB64-4F4C-861D-E585B9988BDA","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":"Q434470$5FA57558-C527-41BA-BAF8-07AB5B3DF71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37903fdb19e3a915f3982502b6ee0513d911a253","datavalue":{"value":{"entity-type":"item","numeric-id":5426070,"id":"Q5426070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$08041F2C-FDFD-4D79-AB2A-493243D9FE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08811795745e05f241aad0cd1e4d9034d0b14b9","datavalue":{"value":{"entity-type":"item","numeric-id":5898976,"id":"Q5898976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$0E83A2E1-C72E-4096-A291-E897999F98EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1acd4a59995c25da4544f6bd27bc4ae7fb2eb29c","datavalue":{"value":{"entity-type":"item","numeric-id":855059,"id":"Q855059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$179051E2-218E-4AFD-8CEE-B45091AFA2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a11c054d3df6fbeeeaa015764a3da98992fc5f6","datavalue":{"value":{"entity-type":"item","numeric-id":1424999,"id":"Q1424999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$7D1B4633-1C00-4F3A-9CE2-F8AC67A3E1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0f2a7b7cc770eb08cd20f5efe2bab0f068d047","datavalue":{"value":{"entity-type":"item","numeric-id":5703771,"id":"Q5703771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$5E156918-55F8-4528-960E-CF3222A9BFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55eaafb175df6f659de6a280bf14e99ab00ef736","datavalue":{"value":{"entity-type":"item","numeric-id":5288513,"id":"Q5288513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$E9596D8B-4FA2-4F5E-A914-8412A350151D","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":"Q434470$90CABDB1-5BB0-47DF-BAAD-2FDDB54BC2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$63AB3021-9974-482A-B937-AEFDC2E9BA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8f01f36e03f2d264c57b9bf9a05c591d7e3cd8","datavalue":{"value":{"entity-type":"item","numeric-id":1592445,"id":"Q1592445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$A77519DA-409B-4BD7-9445-52A82A368953","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":"Q434470$9FE84846-668A-44FD-A5DE-7E232CA8492F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4f57bf57f268aff41bdd3d57c166073b9b4c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5899777,"id":"Q5899777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$81A53A46-BD80-446A-B5DE-45ADE44AA60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a311e7ea5e9c4b3c79d5eb4c907cd6989b685383","datavalue":{"value":{"entity-type":"item","numeric-id":800838,"id":"Q800838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$E703C596-C0FC-4095-987D-ECEEDC82F7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aab1a73190735284ac24b1c4e6944b3e040b514","datavalue":{"value":{"entity-type":"item","numeric-id":4259049,"id":"Q4259049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$0D48598D-77F7-457B-BCF4-2D91E71A4B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5a546b1351e3a4d121aa54f7c239bdfef3a1c","datavalue":{"value":{"entity-type":"item","numeric-id":2503503,"id":"Q2503503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$CF8FEBD4-960D-4CD3-BC6C-48D6E0B69FD1","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":"Q434470$4F3A74AB-D6F1-44E1-AF66-A5D9EB3F82CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d2f228f5f2ee2cbfc7e988b85618d4932fc17e","datavalue":{"value":{"entity-type":"item","numeric-id":3566990,"id":"Q3566990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$BC52C463-361B-48CB-B0AA-D56FAA400AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0806fb681496566fad655db0a40418d191770ea","datavalue":{"value":{"entity-type":"item","numeric-id":1113863,"id":"Q1113863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$4D527339-B2C0-426B-BC75-88EA88E75BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3647f2ad2ac67615d38c213c6cb520e89c71bb10","datavalue":{"value":{"entity-type":"item","numeric-id":858155,"id":"Q858155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434470$7B62B248-4D20-489D-AC12-6B921E64BD3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"987504b1d77cfeae5a6aab2b856d673cf2b165f0","datavalue":{"value":"10.1007/S10626-011-0101-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434470$225EE54E-04C6-430B-8EDA-9CA787FE8C79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7665ca293959204699b1217ee83dc1094f8d496","datavalue":{"value":{"entity-type":"item","numeric-id":645050,"id":"Q645050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e524b20f7cc384d11f82a001af092f6a8affd654","datavalue":{"value":{"amount":"+0.8493922352790833","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":"Q434470$4CB4D5AC-CD26-4798-8F48-B3FD90C8582B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3602cdfcb2c92924d1ccb509554717eb5eca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3566990,"id":"Q3566990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0905a3c2dd7a6ab3034aadb6f31fdb483dcd012","datavalue":{"value":{"amount":"+0.8009099364280701","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":"Q434470$F40692E3-BFD7-4B9E-B884-476CA84BA2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d5471776cea5061a4a63b45dca28a05028f04e","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef2cb991f15e01480b1483ad77f117de971a76d","datavalue":{"value":{"amount":"+0.7854316234588623","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":"Q434470$AE00C09D-AA72-478A-ACD8-FAEC366358D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4e634cbf107643d70eec6d644040390972de9b","datavalue":{"value":{"entity-type":"item","numeric-id":1730325,"id":"Q1730325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff3a0555ae41a3b624bde9730e018061cf34630","datavalue":{"value":{"amount":"+0.7557161450386047","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":"Q434470$9A6AE4FD-6203-485B-A411-41E33A552CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6500cdccc064ef042d806041b1b114337dd84525","datavalue":{"value":{"entity-type":"item","numeric-id":2999201,"id":"Q2999201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dd080fe83942a0842aee2c587b9fffb6b5f211","datavalue":{"value":{"amount":"+0.7501375079154968","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":"Q434470$D748C3F3-1056-41ED-AE32-16E42A5E7E00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_supervisory_control_of_infinite_transition_systems_under_partial_observation_using_abstract_interpretation"}}}}}