{"entities":{"Q5495930":{"pageid":7525490,"ns":120,"title":"Item:Q5495930","lastrevid":58584471,"modified":"2026-04-05T21:10:47Z","type":"item","id":"Q5495930","labels":{"en":{"language":"en","value":"Mining state-based models from proof corpora"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6327268"}},"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":"Q5495930$5DC70C74-3028-4F1B-B2A0-28EC6B0FB172","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af3987726058eab8dd61769f91c4b90e5ff69928","datavalue":{"value":{"text":"Mining State-Based Models from Proof Corpora","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495930$2BD35301-656B-45D2-8E60-C374E3AFCE82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c90afbc1dd0cf0b251e43132a4fe7faac5e9e14","datavalue":{"value":"1304.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495930$4A845833-5514-4EED-85FA-D85DD831447B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e050ff7ca705ef41bb507f720274e367a3b42e2","datavalue":{"value":"10.1007/978-3-319-08434-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495930$E73B488F-9E30-40DB-BC4A-4221A650AFB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8877e077324af18c56acae783fb9d2b80c908654","datavalue":{"value":{"entity-type":"item","numeric-id":3454095,"id":"Q3454095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$F301E490-FB23-443E-A073-D8EE26A87D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b4766a06aa052db7f2e5b400a1accd823e3573f","datavalue":{"value":{"entity-type":"item","numeric-id":3454096,"id":"Q3454096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$FEC72F69-7812-4FCD-BDA9-AA506A918BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0628f44775a176dab1adaaf7efe9aff6d9aed4","datavalue":{"value":{"entity-type":"item","numeric-id":294928,"id":"Q294928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$25A0CE4D-307C-4894-B068-CE988F484446","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$A66F771F-5CE4-4476-8FF2-9E599050F49C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495930$ED82AFB5-4ECA-4385-BB27-4ABDBCF7485D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30e8d892d3ba3b2804216a8c7e7f7cadc2b63274","datavalue":{"value":"https://arxiv.org/abs/1405.3623","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495930$6AFDC92B-42EA-495E-8C66-391E3725E86F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495930$664BE4CF-2B9C-4FEF-9040-1CE11FAB1017","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ea9a125c88c4310aec2feeef8a6c9a4736030a8","datavalue":{"value":"6327268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495930$60A83DDF-5B5E-486D-B016-A13868BA6DB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495930$C48994E6-5913-4111-8FB7-BBF14FAEC0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c602ea7429f09bf06b78b5990f80ab873b869afd","datavalue":{"value":"model inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495930$6F6E2107-BAF7-48A6-B912-3079AA4DD4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59cf9235b9673f5de0ad0a1523579a34cd694590","datavalue":{"value":"extended state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495930$B2317E12-491C-48B0-AAB7-BE1295B64ABE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$B9E04FEE-359A-4BFB-87F9-308AEDF8C2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$9A1A682A-1637-4C2E-9008-FC92D59FD98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$452A9615-DE62-4D56-93B6-BFE472C866A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$17F8A6FB-39AF-4AFA-B5B1-37AA4FA9D80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4725be8fa705861afbab12b59e447099c9ebb4e","datavalue":{"value":{"entity-type":"item","numeric-id":20216,"id":"Q20216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$7672EB66-710C-45BE-ACCA-23E24E305727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$9C6B7BF7-AC1A-4A82-B56D-2521EBB0AB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5424895cd06947db50aff4fb92d088f3cd4d067","datavalue":{"value":{"entity-type":"item","numeric-id":24107,"id":"Q24107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$B41D4198-C65D-4926-BD1E-EBABA1B0FFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ecee973cce27aca9d6609100a6fb4d87c282d91","datavalue":{"value":{"entity-type":"item","numeric-id":19195,"id":"Q19195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$DB10BF29-F7C1-49FB-86E8-5BEF411CE90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$BB755C8D-F177-4393-9E51-597302927F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbbd1728c4131dc017e496daf6256c390a0bd166","datavalue":{"value":{"entity-type":"item","numeric-id":18546,"id":"Q18546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$5D1B413F-34C9-4464-B470-A70665CB99CB","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":"Q5495930$D9C0DD16-6C24-47D4-9B07-83382B7A1206","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a87e81f5696fa5a4b0047c49b9ad2bdbcb91c7b5","datavalue":{"value":"W1542564959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495930$D09837D9-FB8B-4354-A7F9-3BE0DC9B3EFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b0802dd9ffb89108bee25aa26120dffc46ad60","datavalue":{"value":{"entity-type":"item","numeric-id":2352489,"id":"Q2352489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$F3BDD5F3-2B6B-4A76-953B-7406373B4268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2f4eda96055e862b502671e4efbfeac491c818","datavalue":{"value":{"entity-type":"item","numeric-id":5655299,"id":"Q5655299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$9F12774E-98B3-4357-B6CA-75A7A588C523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39b9040e3d2807bc13175b6074f0175a0a4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5747754,"id":"Q5747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$C3FDEC13-44DB-4571-A5EC-6A753452EA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$2EDAEFD1-EBB0-47D0-9D68-1EA9A2815FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$7E36A27C-0D17-45EC-B418-BD998E7DB319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$335F53F8-9BF1-4840-985F-D095C0F4919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$EDE1FB7C-DE33-4C6E-B17D-C71B71C877B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8955e894c8fbd524052b951c043bae4e14d12c6","datavalue":{"value":{"entity-type":"item","numeric-id":2870138,"id":"Q2870138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$6C032070-0F4F-4FB5-8680-FE4531AB1427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59378303f23190f7cd6dbd55effb31c072323c5","datavalue":{"value":{"entity-type":"item","numeric-id":2843038,"id":"Q2843038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$1C4D3874-719E-446A-9D75-49422AA8CBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5239edfd305efbd1c9a075b6bf62b0b4959a45","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$3CB4E7CC-DA15-41F7-8255-34E1FDA811C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d338e06cf9942819965d2c816cc3ef86f90f016e","datavalue":{"value":{"entity-type":"item","numeric-id":4465166,"id":"Q4465166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$9240D718-D30B-47E3-B9FC-E172DA39A24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$4348C862-99A7-4F43-98BF-36A97C294986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14549321cbae3c57ae9ce6a9266b4af3d64fd4f","datavalue":{"value":{"entity-type":"item","numeric-id":286800,"id":"Q286800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$F6070418-4AAA-42B6-8111-88432AFFC2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5ef200ca0a6ffd921de7b0fd780ff05ef7a989","datavalue":{"value":{"entity-type":"item","numeric-id":5327335,"id":"Q5327335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$4A204606-290B-416A-8EB0-6F9066020D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f38c339bbd571c9f13a1b3052c0abde7b640b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2471742,"id":"Q2471742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$77062676-953D-4260-AA07-E3346C646C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$4983EF38-5D7E-4536-A5E0-ED1DF4137E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5045e17431ae100adc29ee6860720ac72d87fa","datavalue":{"value":{"entity-type":"item","numeric-id":5302561,"id":"Q5302561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495930$F90C2ACC-F1EF-4EFF-95C0-1A02B692A417","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20821278b54273bce32a61f8d97e3bf2e0967751","datavalue":{"value":{"entity-type":"item","numeric-id":5307074,"id":"Q5307074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c74a01f43286957ee444dad1126e3394e0ddad3","datavalue":{"value":{"amount":"+0.7598617076873779","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":"Q5495930$A2961A83-31FA-4183-847D-5F55670AE65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aa27b2a20a33eaf3066ba6c73783703b5cca58","datavalue":{"value":{"entity-type":"item","numeric-id":3454097,"id":"Q3454097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce9483c83466a056a63a7b35f21a61c971544ee","datavalue":{"value":{"amount":"+0.7580738067626953","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":"Q5495930$7A52A4CB-833C-4A69-85F2-A6626D8DF9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f94645fe7f1525963701159b1c6851e22f8eef0","datavalue":{"value":{"entity-type":"item","numeric-id":287340,"id":"Q287340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e245d5520879f02949b240212f5f822f3685e20","datavalue":{"value":{"amount":"+0.7271716594696045","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":"Q5495930$5BAC963C-E52E-4456-BC6A-98D64DD9D941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733045d4bdb6ac84e39d437da15db86acd1c641d","datavalue":{"value":{"entity-type":"item","numeric-id":6108816,"id":"Q6108816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51d7780de7154254fcf9b8a0b2773b29fc39767","datavalue":{"value":{"amount":"+0.724616527557373","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":"Q5495930$C7B3FEDE-8827-4C54-B2F4-B77DC3AB31E9","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":"ec048564006bac59c6fb824f1974bcc89c7df5da","datavalue":{"value":{"amount":"+0.7235651612281799","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":"Q5495930$9E5C3FE4-8CC6-4736-A7A9-0A28082AB9CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495930"}}}}}