{"entities":{"Q6564179":{"pageid":14175334,"ns":120,"title":"Item:Q6564179","lastrevid":57213855,"modified":"2026-03-27T12:07:53Z","type":"item","id":"Q6564179","labels":{"en":{"language":"en","value":"Mining of extended signal temporal logic specifications with ParetoLib 2.0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7873311"}},"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":"Q6564179$8033F184-B568-4A44-A326-198800B6F98F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1645b9ce657a829306ce16e1850cd0f18366be03","datavalue":{"value":{"text":"Mining of extended signal temporal logic specifications with ParetoLib 2.0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6564179$9E5A4310-8422-4318-9B10-0330A0E45D66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3dbaa0509c1d660a2b670ae84d43bc6cdd2280c","datavalue":{"value":{"entity-type":"item","numeric-id":1996012,"id":"Q1996012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$70AD3FB2-0956-4547-A206-371B7802DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b962934e53aff5fbf723f747f1fbea0a9ef8fd5f","datavalue":{"value":{"entity-type":"item","numeric-id":1996013,"id":"Q1996013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$70722024-8BBF-4712-90F5-D06E169355C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"082d9474e907d6d05b87a075c48afd47506893ad","datavalue":{"value":{"entity-type":"item","numeric-id":1631231,"id":"Q1631231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$D25DAEB3-9B31-40C2-9EA2-C9B4F7BC07E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14dba23157fff59c506ec932698c3eefbed1da56","datavalue":{"value":{"entity-type":"item","numeric-id":727970,"id":"Q727970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$4FD941D2-71C1-4C2B-8890-63A4EA9175CA","rank":"normal"},{"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":"Q6564179$4E96AA21-153A-4222-ACD7-D682BF4F88AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$945114FB-7CD8-4219-A1F8-17A795D0CD9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b549ddd49c3820ae166e3a7aee3710d4e99c09b","datavalue":{"value":{"time":"+2024-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6564179$1423327C-D117-4D65-A119-9E92B7F1971F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564179$71990042-F395-4716-B131-F94FDCCE2C44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbcf314a02c981a9aae8a0a8bc3f5b2cb9328e6e","datavalue":{"value":"7873311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564179$EF4AF245-DB24-49B7-BE7F-430B443EEFFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564179$00D605E1-9510-48A9-BD80-7EB3645E530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564179$F847D2CA-B9D2-4B82-8404-C71037FF5659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853cd219b01d0e69f349bf0a8aab55d19e3326d6","datavalue":{"value":"specification mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564179$00EFEA3B-6DF1-4529-919F-AD3EDD27317C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564179$99086624-A966-45B0-B3B6-96A71CE71CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c07820699b1a5d188ec027dab6eb6ba6354d9ec","datavalue":{"value":"Python","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564179$F8302F91-0FA4-4605-B1CB-CCA22745AEC6","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":"Q6564179$76992AC5-85D0-4F7E-8346-204F9238E921","rank":"normal"}],"P223":[{"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":"Q6564179$B69180A6-075E-4F56-9F67-7C068B0A2A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01e37fcb3011c99c5c4b7557ec5dd8eb47b575c","datavalue":{"value":{"entity-type":"item","numeric-id":2633617,"id":"Q2633617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$B673CC0E-D951-4B7E-8815-4B973E6F7875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdf0f5fe8240495455df7b4996acf5efc0cf560","datavalue":{"value":{"entity-type":"item","numeric-id":826555,"id":"Q826555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$CCC1C726-5BBA-4639-9961-FB0814A9E19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f5df8f42a9de5afc83a14e8ca14413bfbbf914","datavalue":{"value":{"entity-type":"item","numeric-id":2453214,"id":"Q2453214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$DDBC599B-BBAE-471A-8796-B52B2A60CD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$0471C6C8-DC6A-4D9F-9001-D454004EA232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c99e53aae1cace6d53edca951880ac70d45bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5757091,"id":"Q5757091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$6920783A-6F48-4CFC-BF3B-761EC4DC395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a3500b831727f3690be30d5f136a2be203dc79","datavalue":{"value":{"entity-type":"item","numeric-id":3265072,"id":"Q3265072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$B5BD8B92-5F23-4606-9F15-CC68F8F5707C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$312D74C8-544A-4729-ADF8-EFE56A72D86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6101bbd1e1b228feaf21a9880573b6d5cceb3787","datavalue":{"value":{"entity-type":"item","numeric-id":2151258,"id":"Q2151258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564179$4014E9BC-189F-44DC-BB2B-F6EEABE29B64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e35b3dc1dc4a355e6274d6766820fef8db4af0a4","datavalue":{"value":"10.1007/S10703-024-00453-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564179$89B792BF-A7F6-43A9-ACE4-F9BA67C1706F","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":"Q6564179$FFEA6A30-DF2A-4CA3-8BB0-4A02E4B7E0F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6564179","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6564179"}}}}}