{"entities":{"Q6488948":{"pageid":14067717,"ns":120,"title":"Item:Q6488948","lastrevid":55604887,"modified":"2026-02-17T19:35:51Z","type":"item","id":"Q6488948","labels":{"en":{"language":"en","value":"Proof Guidance in PVS with Sequential Pattern Mining"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817318"}},"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":"Q6488948$B8E4EDCE-58B5-4D71-A5C7-DD077C6A3EF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c281e5e71c2694eed74530953b456bb8e7bbf7b","datavalue":{"value":{"text":"Proof Guidance in PVS with Sequential Pattern Mining","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488948$22188C00-13A8-47BC-AF25-22D08B780A18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53ae42f4ba8522d9c93ae71ec1931863f8b80ffe","datavalue":{"value":"10.1007/978-3-030-31517-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488948$DF03729F-0AC2-40AA-A1E4-17F30A121EDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad934be693c92f388e41f607fa1a7d88dcf09b91","datavalue":{"value":{"entity-type":"item","numeric-id":2688396,"id":"Q2688396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488948$307FBD0A-E88F-4AF7-9B77-06742220B4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1580d3ce0312133df8762ee552718ddef708846","datavalue":{"value":{"entity-type":"item","numeric-id":276378,"id":"Q276378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488948$E08E9B01-B3BE-40F8-BBA2-B9EC3A10A6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a6bd399d6a25c28ac7926b044cb06eb0eecf47d","datavalue":{"value":{"entity-type":"item","numeric-id":1642766,"id":"Q1642766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488948$ADC06131-513E-4456-9B50-0DCC902F23F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488948$27796DED-E80A-42AC-8207-E660F068955D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488948$23B52F27-C061-4F4C-B77E-64AEABE74031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488948$ED075655-5847-40AD-93F3-A03B79752137","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"348d508d8ae207337fc09d20f7dd7236cefae02c","datavalue":{"value":"7817318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488948$6428469E-C23C-4E88-AD8D-54F3ECAA8C12","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":"Q6488948$9546F712-D0C3-419B-B141-63C834956908","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00791ad6732504b73968cf763a5aaf468fc85584","datavalue":{"value":{"entity-type":"item","numeric-id":5495930,"id":"Q5495930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f94f3fcccca94f9fd6d615d90e74a8b95114e8","datavalue":{"value":{"amount":"+0.7933456301689148","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":"Q6488948$43F13736-6EF2-47B0-B601-D3B8767D5EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b8b36929715000acf1cd883b9b1d7bc9f1ba30","datavalue":{"value":{"entity-type":"item","numeric-id":475385,"id":"Q475385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14331cf4ddef0dfd3d820eebf6c5ff7d0ceb5065","datavalue":{"value":{"amount":"+0.7617081999778748","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":"Q6488948$92F1C6D8-FC83-40EB-ACE5-1969A6791AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196c6be9bd3eff3fdeb14496a3810135fab697d6","datavalue":{"value":{"entity-type":"item","numeric-id":6118837,"id":"Q6118837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7249c4526b11260be46d5dc12a49c9a08312493","datavalue":{"value":{"amount":"+0.7420434355735779","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":"Q6488948$99FA8725-A53C-4D75-8306-0A280F8B10DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ef75eab7759ec3e2c41e6b79462da7c276b1","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d48f2eabf810c0a4f2d0ce9ffc2b626f968ead","datavalue":{"value":{"amount":"+0.7363165616989136","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":"Q6488948$18DA0E23-6261-4E1D-A078-693A162054A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e02866bedcdddc38a6d5d0dc3312cefd57e45a","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8513a45bf165b2361aefc321dd49d0bbd6c27e82","datavalue":{"value":{"amount":"+0.7296730875968933","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":"Q6488948$5510ADF6-DABB-43D8-B094-D5182CBFF6FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488948"}}}}}