{"entities":{"Q2220776":{"pageid":2231519,"ns":120,"title":"Item:Q2220776","lastrevid":71589795,"modified":"2026-04-13T23:15:26Z","type":"item","id":"Q2220776","labels":{"en":{"language":"en","value":"Temporal logic specification mining of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300878"}},"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":"Q2220776$8EE8E1D5-8A61-4C4A-8776-C1C90F2E8E97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"143e6135b64698690e29b236935a1fdfb1f05faf","datavalue":{"value":{"text":"Temporal logic specification mining of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2220776$D4DC772D-EB74-4FF3-80AE-CE3BFADF4C87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"608cce1a38dd6b64c1c6b663dfd31a8827884907","datavalue":{"value":"1477.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220776$E08BD80B-CAD5-4EA2-9DAF-860BD7B2AFA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$65EB1AE4-A161-4973-90B9-9183BEECBCBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$63801AA9-9877-4D78-9F77-FFC03EB00633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2220776$9C99201D-1523-4FB1-8E04-C40EDF5B8C00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220776$9D7EBC20-9E4E-485C-BDBB-F7CE75FA81D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220776$22B40CB1-C7F0-4B95-BEA0-D95FD4EFB580","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54aa5735ef246fc381911b0468323551bc76466d","datavalue":{"value":"7300878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220776$E6CC19CC-2347-4230-832B-623926584C02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f6c80b0dfc69f07b6732579007eac69eb2f8c4","datavalue":{"value":"propositional projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220776$96B0880C-6552-42AA-BC70-41B05567D4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a650f15583af62d1827b2ebb16e134294cf5840","datavalue":{"value":"pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220776$8F6989D2-B553-4D74-95FA-5F8AF6FFD90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220776$6D46BC88-FB5F-435D-AAF6-2BE7B0D3735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853cd219b01d0e69f349bf0a8aab55d19e3326d6","datavalue":{"value":"specification mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220776$CE903F23-32EF-4EF0-9AF7-6EC7DB91272B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f6b09226cf41deaea1aa6fc408fdd10131ee455","datavalue":{"value":{"entity-type":"item","numeric-id":5973059,"id":"Q5973059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$A7A72639-ABDE-4F82-83D6-A985023CA8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d372bdf10110039ed9a53d3b065cca001cb48f23","datavalue":{"value":{"entity-type":"item","numeric-id":1350742,"id":"Q1350742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$184D7821-634B-4FE4-8D20-4116EC6C3E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ebd0783bc11331c12f0af343dd5c6c528fbd539","datavalue":{"value":{"entity-type":"item","numeric-id":24021,"id":"Q24021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$99D5CA4C-6156-4DFF-9C7D-500F716B3A97","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":"Q2220776$67D94CF5-58E6-4C8C-BC8A-81F5F2BBA9E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"466b10c1ed6a0265fb6bf9b949b03b52369cd445","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.12.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2220776$7E02BBF1-FCC3-44B2-B30E-6D1FFCBB520C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8372ad0dfed37185cd6fe9c4a047b54c744a0d63","datavalue":{"value":"W3117099911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220776$FBB602FB-6082-4EE2-8C35-2BB0720DDA01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$B91A2AAF-E039-4A81-A0A8-2B451826EC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45671c6193ec441bc9e4dcc774fb57094354e7c0","datavalue":{"value":{"entity-type":"item","numeric-id":896152,"id":"Q896152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$F8256D82-9508-41FB-807F-3F82B6569AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$9211746C-F635-46AF-8E67-2D9D2FBFEB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74543492d814f75ded6ea94f643444c4417e3c84","datavalue":{"value":{"entity-type":"item","numeric-id":5703779,"id":"Q5703779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$E8F98BB6-D806-4878-9032-32FE8302F357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3a406cb268c03d9699dfb0233447740dca308b","datavalue":{"value":{"entity-type":"item","numeric-id":896162,"id":"Q896162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220776$80BCA195-E4E1-487B-82F9-9439E11B16B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3687d12bfc840ac93161b10fa167604ce9a7c2ac","datavalue":{"value":"10.1016/J.TCS.2020.12.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220776$23DDBDEC-B234-48E7-8BF1-F51BC3EEE470","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f32db5a747346da4966bbb46d8d32243028ec45","datavalue":{"value":{"entity-type":"item","numeric-id":2870768,"id":"Q2870768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0df3c29b5ace8d3ce002f65ba6ecafe706e6e77","datavalue":{"value":{"amount":"+0.7538250088691711","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":"Q2220776$DD989872-4D02-4221-BE07-75ACE50A082C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b049046e90c9af52524c133707372613da52ce","datavalue":{"value":{"entity-type":"item","numeric-id":5703779,"id":"Q5703779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cb84f3d8f927d1a57661c8a8c55e87fe801fd5","datavalue":{"value":{"amount":"+0.7524937391281128","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":"Q2220776$4ACF6193-BC02-45E4-B15D-5F602B803BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0414bdc923cc7bd398cb4c0961c0dc9ed04212d","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d65d1fb1e28db1d8b3a21aa37d348d323da3ce8","datavalue":{"value":{"amount":"+0.7458468675613403","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":"Q2220776$B37019E8-3CF2-4154-BF52-821A3229F365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd9e25efe198f661884ceaa859192f9dcf5d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":2026564,"id":"Q2026564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01a8c7695ed6776ef92af6beb6717c9ce9e5dbb","datavalue":{"value":{"amount":"+0.7453085780143738","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":"Q2220776$F243AFFF-8932-44FF-B3AD-0C42BF1BDA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb64f487a371e61d945263b4c5b6b8fdc7e3371","datavalue":{"value":{"entity-type":"item","numeric-id":436396,"id":"Q436396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4441d3a75472768d3f06252ce846fd73f85672b","datavalue":{"value":{"amount":"+0.7292318940162659","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":"Q2220776$319FF7AA-A5DA-41AB-92B5-84324D18891A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logic specification mining of programs","badges":[]}}}}}