{"entities":{"Q5206952":{"pageid":7236523,"ns":120,"title":"Item:Q5206952","lastrevid":53622572,"modified":"2026-01-25T10:54:44Z","type":"item","id":"Q5206952","labels":{"en":{"language":"en","value":"Parameter synthesis through temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145905"}},"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":"Q5206952$1D9BA5D4-64E5-4E77-B3AC-B85B761490DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e34828f0a5c8a8456d282d576d42ddf819d821d9","datavalue":{"value":{"text":"Parameter Synthesis Through Temporal Logic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206952$EFF842E2-21B5-4014-9C8E-63517E7701D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03890733c26c14ee8abeefeca3e5e74acb36bb90","datavalue":{"value":"1427.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206952$0334E05B-3958-4559-B09F-1FEC366496E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb2df0a86330d38ea506dd588afdc31a4ea6069d","datavalue":{"value":"10.1007/978-3-319-19249-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206952$35B7D9B9-EF58-46E6-8890-2EBFB517FE7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4955cd894e8f65bd4d36ba17714e84b2ab9ce","datavalue":{"value":{"entity-type":"item","numeric-id":526431,"id":"Q526431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$09F34D34-3324-4F2A-93B0-14C98D84F080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a3f7ccc6b70bb02628a8796722ddf5332211082","datavalue":{"value":{"entity-type":"item","numeric-id":526430,"id":"Q526430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$0C2F59B4-8F74-4BF7-9750-39A621D51CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2960711d7df6d2be52b6449e5f402fc00a9829dd","datavalue":{"value":{"entity-type":"item","numeric-id":526432,"id":"Q526432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$D7A2A7DC-192B-4A41-80AE-7CDDB261668F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$B8E60B09-36B9-4DC9-AA44-509E52226F89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-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":"Q5206952$A836E8EB-5508-49C7-A3AD-AE0569853C74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206952$F241EAEF-1BC2-4B82-9371-5427658688E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206952$0508A2FE-7ED6-4EDF-8542-8ACAA1595B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206952$49C2DEE7-2B67-4FF6-B22C-D1C67C6F735F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e69a9ed8bdd704cb19dec3d9a7862ea0d3a4754","datavalue":{"value":"7145905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206952$C209EA77-B053-4EED-B8B1-81F7D5AACCA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206952$4FAD74AF-BE6E-48A1-BD30-98B41F64C409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3de47e75c4952e6e024a4e5b203b4b3de321568","datavalue":{"value":"STL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206952$E34E1513-048A-41C6-A86C-664C83D83BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fdde78b7cc01742d55b05996904910d5cafc12a","datavalue":{"value":"biological systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206952$C3D00CB9-3C01-4184-9CA2-9C0C1ECCC34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206952$E1192927-6B61-4FE6-AEBA-C2820FD88C78","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":"Q5206952$91D1F730-71E4-411A-A245-88AAE36AEE3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00d825a322c9bc1780fcd648f94c5a42dfb48069","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19249-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206952$20FD7279-6A1F-4587-8B6D-D84D5491F90D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f567534ee8335a812fd59268f1c35c0632e2ba3","datavalue":{"value":"W1134528556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206952$053F790C-67FD-45BC-8789-6629D552AB38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$79278A30-0611-4058-8DDA-1D500D88D8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$B434086D-E151-456F-ADC9-6FA774DF653D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5eb573f82e366344add49075d7077ddcf4dd70","datavalue":{"value":{"entity-type":"item","numeric-id":5452193,"id":"Q5452193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$E3E9381F-2223-4223-8B47-8010B3BB9111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77cdc7667ca5e3e6ed5105e05846ba9dabe64e81","datavalue":{"value":{"entity-type":"item","numeric-id":5962118,"id":"Q5962118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$553928DA-AA77-4637-9754-DE02654140FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ef40209070f53c5b819652f794f4a0ab042bfa","datavalue":{"value":{"entity-type":"item","numeric-id":2986909,"id":"Q2986909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$0B546B05-27D9-451B-BA11-166859CC73B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$2652DB3C-7D2F-426F-BF08-E5F599AB02A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589c340747955fdce87947ff5d43715615956ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2348023,"id":"Q2348023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$76FACF46-DAFB-457F-A6BE-ABB6DA47E43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafbd1f87e8ab541f02fbfe61303ed01a31e2f09","datavalue":{"value":{"entity-type":"item","numeric-id":5166710,"id":"Q5166710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$36C7DEBE-8CD4-495A-A15C-E25044677BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccef33bff082ab381edf6a83faee44db3859e43f","datavalue":{"value":{"entity-type":"item","numeric-id":2986970,"id":"Q2986970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$09F8D86D-7033-4BC5-8016-88D7B21024A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$D8CF2ADA-F429-44B9-89F3-F952063AECB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2228cc04e4dfe0ccbb18a457ee8b54f69c7a920","datavalue":{"value":{"entity-type":"item","numeric-id":1599529,"id":"Q1599529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$EA4A5F4D-28DA-4A8D-BD2F-4443287FDB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdd14e746f60898ab280eb0d0ecd5c5fda056d1","datavalue":{"value":{"entity-type":"item","numeric-id":2189263,"id":"Q2189263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$5BBB8384-3639-45A6-BD11-9A012F649084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8608681a9a6a6291be5d3926121b695de80ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1340492,"id":"Q1340492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$381B0822-4328-4C03-97AF-8B5223CEEAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c725557c7e77ef37547d256831fdb29b584365","datavalue":{"value":{"entity-type":"item","numeric-id":738448,"id":"Q738448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$8B6296E1-4360-423F-BC10-608B429F07C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955f9781023400ea8dd868c28b706c41c0df254f","datavalue":{"value":{"entity-type":"item","numeric-id":548479,"id":"Q548479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$D2D0C84F-D482-4220-988A-AA855E43B2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19e4b0a7e495584117d0feb3847a62e9915b99d","datavalue":{"value":{"entity-type":"item","numeric-id":5300884,"id":"Q5300884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$394D07C0-E2B6-4452-BF1A-C47233D9F0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09648fb46469011140ab8712b83801125017f5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3523107,"id":"Q3523107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$964B69E4-BA1B-460F-9817-4C61D62BCC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09af2cc3f7867395236d404013389fefae62531e","datavalue":{"value":{"entity-type":"item","numeric-id":3172862,"id":"Q3172862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$23B05C90-E664-4CAF-8920-481865339F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472456c0820242ca94d4e2377f1d6873e401d200","datavalue":{"value":{"entity-type":"item","numeric-id":3523135,"id":"Q3523135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206952$911F5474-8AF6-41A6-856D-D83E6FED310F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4479dca897278b618c4943cd2455105133c884","datavalue":{"value":{"entity-type":"item","numeric-id":2986970,"id":"Q2986970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9efb85227cb4179c7b44107968fe700aaac690","datavalue":{"value":{"amount":"+0.8347936868667603","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":"Q5206952$12C92DCF-1479-4922-972E-9614DEA53EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2f68c4e995d3f707977fe8f16d7995435f0e46","datavalue":{"value":{"entity-type":"item","numeric-id":3523135,"id":"Q3523135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5dcbe952d25df02847c8cf5bdcaab013ebb558","datavalue":{"value":{"amount":"+0.7956628203392029","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":"Q5206952$2062B15D-1924-4721-BC78-1090D6E4D479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acabd4b2b5a518b01e22ccb61aeea26d6921a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":2407983,"id":"Q2407983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10dd933a697939d7a898ec2a0aed32658c0ad86","datavalue":{"value":{"amount":"+0.7601755261421204","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":"Q5206952$97725239-3C51-4028-81DE-85955A2F7389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e78cfff49a98e8c7b41de59fd23511815578670","datavalue":{"value":{"entity-type":"item","numeric-id":3624570,"id":"Q3624570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ecd9959ad783004410b5a61f5bdf630862ddb7","datavalue":{"value":{"amount":"+0.7550156712532043","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":"Q5206952$80474E7E-3BA1-4A29-9335-DC7C616B0CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c31c971fb70ed486885abc0b86167ff71fe29b","datavalue":{"value":{"entity-type":"item","numeric-id":5219920,"id":"Q5219920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82095ef508137d0b42f1dfcbc8fd449bda04fd23","datavalue":{"value":{"amount":"+0.751581609249115","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":"Q5206952$71C89E58-7C67-4709-B728-B7BEF8512FAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206952"}}}}}