{"entities":{"Q1674867":{"pageid":1685608,"ns":120,"title":"Item:Q1674867","lastrevid":68114226,"modified":"2026-04-12T21:31:32Z","type":"item","id":"Q1674867","labels":{"en":{"language":"en","value":"Safraless LTL synthesis considering maximal realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6798469"}},"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":"Q1674867$348F976F-14B6-426A-8425-3C067B3C6965","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"831ce2d0b10da66aef71c04b0761985f93c1714d","datavalue":{"value":{"text":"Safraless LTL synthesis considering maximal realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1674867$7A7B00AA-C986-4EA1-BFF1-FF4A96C5D557","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60f9e98dad4c20619b59ac5d72474ce79a6e4edc","datavalue":{"value":"1380.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674867$258E095C-8C49-4815-8378-BBDDAAD6B4D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"233528313bf1c48ddba5de92fb27642c5b725a3c","datavalue":{"value":{"entity-type":"item","numeric-id":1674863,"id":"Q1674863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$E31AD9AC-2B90-46C6-8CAE-E9A1E5EB6CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b472b8f4958eafd76732f6285b8ecbb60a8d26a","datavalue":{"value":{"entity-type":"item","numeric-id":206868,"id":"Q206868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$314F9CBE-EC1B-4B7E-BC19-84CA678409BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5615bedbd44e4d267bbbcfcaa6caeb32eb78848d","datavalue":{"value":{"entity-type":"item","numeric-id":1674864,"id":"Q1674864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$71DB6EDC-06FC-4779-859F-E607C6B0FF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8cf589448a57406d3670b20edc9880a9a02cf3","datavalue":{"value":{"entity-type":"item","numeric-id":1674865,"id":"Q1674865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$880CDF0A-9F04-4447-852F-26C6DB6B87A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f9bf560707208012ae4de6042822d4b20c2d91","datavalue":{"value":{"entity-type":"item","numeric-id":1674866,"id":"Q1674866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$D78D1B4F-A225-4B15-844A-C03BEA6B883F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$B588902C-DA22-4DFE-818B-54BDA188D9EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63221386fd3fb17da1d2e113c95966dd8800daad","datavalue":{"value":{"time":"+2017-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1674867$5DDD3220-69D5-4DDB-8053-37CFE3F5D57A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674867$855830F8-4B76-4FA6-A64E-9C71DC946868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674867$CEA150C0-9F39-4AC2-B277-DE829C6D7FE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1064dbd9e17a774af4ea4ec05d988a5039de195e","datavalue":{"value":"6798469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674867$7B8A8101-47A7-4943-80AD-9C18D2792159","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$0A902EA2-E5A6-422F-AE26-40203805E6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$56D3C50C-57EA-4286-BE4C-D39EC3561B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e709217feba5582ee4330feae544dbf386970536","datavalue":{"value":{"entity-type":"item","numeric-id":37002,"id":"Q37002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$348E018D-C048-4FD8-B3F7-BEAC7F7B5D55","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":"Q1674867$AB2E8752-77DD-4E70-8FB4-DE459A9C22DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f64dab56bacb03b35ca6b6c117d0924d72e40c45","datavalue":{"value":"https://doi.org/10.1007/s00236-016-0280-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1674867$BC2FC44E-952B-4459-AE45-8BF24A813026","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfcf4d98dcdc910490d3df56ee757cf7e3b0bc0a","datavalue":{"value":"W2528851098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674867$5AFE8416-78B5-42BB-8A79-237FA548CFED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"550fe2359aa109d2009947b412a82c4ad4a2434c","datavalue":{"value":"Q59607128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674867$767E45B4-7484-43E4-8684-14731D084399","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$60B6945A-567A-44E6-82F7-BAC543C18DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d943a0ef985ccc7c0d6f0843144df920387ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$9F4F7E4C-274D-4F5E-B278-6F4000407879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321c7ff19c3b51b5e44271aef686f874af82d7f1","datavalue":{"value":{"entity-type":"item","numeric-id":5326312,"id":"Q5326312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$67C4B113-E4D5-439E-8DE3-AE61B401249E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bc9a8ada014558ec231dcbb17e14ca4952ee40","datavalue":{"value":{"entity-type":"item","numeric-id":2249662,"id":"Q2249662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$A3860C72-2AF9-4078-86E7-5A432D394BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$370D1942-06DB-41FA-8757-54452E2AFAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4d2f7ed996466b4966cddf35714fb897a6ed86","datavalue":{"value":{"entity-type":"item","numeric-id":5326323,"id":"Q5326323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$2DD82EF8-8C91-41C5-AA8C-2C063DB7EE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cae676c15c81cc2ca5cf97b6da98456b26d7b519","datavalue":{"value":{"entity-type":"item","numeric-id":2908872,"id":"Q2908872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$0126FD5D-7DA3-4230-9797-B2650207FF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3db1dd52dc332c8fc81203ad454033a2151c49","datavalue":{"value":{"entity-type":"item","numeric-id":537946,"id":"Q537946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$8C701F6A-0B9C-42C0-BB67-E72E51AD3BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702f164b710b34adee69b0aa6937212bcccd3a9d","datavalue":{"value":{"entity-type":"item","numeric-id":453535,"id":"Q453535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$BAB2C843-1842-4F28-85FA-4D1FCB3F770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafbe109f120b38c7a904eaf59f442fb7da79b66","datavalue":{"value":{"entity-type":"item","numeric-id":3541016,"id":"Q3541016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$D05E5D5A-BA79-44E2-AD72-76B7A0940E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$48CDA629-BDC2-450A-B7AB-C9E88EA0AB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05859705e5fbb38f21fd006b6726ab74ea14b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1172002,"id":"Q1172002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$11DBDBFA-6874-4C93-80E9-15B117CF00BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b6e61168db1a4074b0ea52777a6c9cad1a4a50","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$75AD6E42-D018-4ABB-B2D3-22848A69A89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$17524919-9F78-43CA-A999-37DA828E88C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$94C598D9-624B-4AC2-A640-77DDAD22EB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$2EF436A8-1C9D-4199-95FC-9C852511F703","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":"Q1674867$A72AFE21-9EB4-4D59-93D0-8B50DF0C5C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f353ad170e54f87f94c55f9cea2b36a3ecf99c4","datavalue":{"value":{"entity-type":"item","numeric-id":3617728,"id":"Q3617728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$93DC4A99-B42D-40ED-9D13-F76286E8F501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5405c014915b7b0d71a0db89fdd8d5534a1cb60e","datavalue":{"value":{"entity-type":"item","numeric-id":4649286,"id":"Q4649286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$A8E8EF46-360B-4ACC-AF53-1BF53AEA055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674867$79423F62-BD51-42CD-A554-A563B5C15D6F","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a2e6bba36d3e1f154b149e0d019be21d7d83c5ea","datavalue":{"value":"journals/acta/TomitaUSHY17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674867$92FE4502-929C-49D2-8607-AF9F60C63913","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"290abf41b933d4a12d35cee2b3690cbbe1e0048c","datavalue":{"value":"10.1007/S00236-016-0280-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674867$8DF5A20C-20B8-454F-9EA6-DF031E0818F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6b166ecf7fd7445718355f002efa34eead7b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5326323,"id":"Q5326323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8176ab8f78e1eab248d7fef60e5282fe73588f93","datavalue":{"value":{"amount":"+0.8069711327552795","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":"Q1674867$D152E6B0-DF75-43B0-AF9C-C35EFD8EAE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9874c8b0a91f9c04bd66929fbb7856895e014e","datavalue":{"value":{"entity-type":"item","numeric-id":2303876,"id":"Q2303876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69872887488090e9449270cad49c63df1d065eb4","datavalue":{"value":{"amount":"+0.805077314376831","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":"Q1674867$F4714126-2766-42F9-B87D-081B742BBA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d574a5fee0a2af9848e16e8e4657582a83b4535","datavalue":{"value":{"entity-type":"item","numeric-id":6109602,"id":"Q6109602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f70c3acf8483130a179b635341c727c9e5c843","datavalue":{"value":{"amount":"+0.7978522181510925","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":"Q1674867$23BED564-016C-4FDC-A31B-BAA564E24182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa86de10144a4010f88c0aeab80cb20d4b77374","datavalue":{"value":{"entity-type":"item","numeric-id":5756733,"id":"Q5756733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a374c7175c8f52e54f0dab5ddab059c2202079","datavalue":{"value":{"amount":"+0.7882615923881531","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":"Q1674867$2EFA46DE-25D1-4D0C-810B-6932FFBF25D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbb976e4111f489dde7bd3a7f1e79693bd91bc0","datavalue":{"value":{"entity-type":"item","numeric-id":5151002,"id":"Q5151002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beae1b9d2ee0761b3b889fe8c7659ab1ed3fa8bb","datavalue":{"value":{"amount":"+0.766430139541626","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":"Q1674867$A8C5EDBE-A28A-41AD-AE3A-AD8814CAF3AE","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":"Q1674867$76DB0424-E32C-489C-8773-A91D28FC01DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safraless LTL synthesis considering maximal realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safraless_LTL_synthesis_considering_maximal_realizability"}}}}}