{"entities":{"Q4849648":{"pageid":6879228,"ns":120,"title":"Item:Q4849648","lastrevid":41130537,"modified":"2025-04-18T10:22:34Z","type":"item","id":"Q4849648","labels":{"en":{"language":"en","value":"Automated Mathematical Induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802494"}},"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":"Q4849648$438C50A9-14A7-4878-9DFA-DBB70A528B9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40d8c49d682d7bf62f6fec162c987b6009c1832d","datavalue":{"value":{"text":"Automated Mathematical Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4849648$A7F99EA1-E6B1-4D95-8251-54F7D3D659A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac66a0fb8a01f14b1b53b343cf0a82f83c95082e","datavalue":{"value":"0832.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849648$A0897162-9766-4FAE-B57D-2B9994B3CA7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b3a8b345d1b3ec000ad6c59a5dcb5ae454f5a56","datavalue":{"value":{"entity-type":"item","numeric-id":420846,"id":"Q420846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4849648$5F9A4C0F-0743-47DD-9A98-E8A93DA71314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20b4944fe4b96d4fda5cc5e09d49f0846d30e2b","datavalue":{"value":{"entity-type":"item","numeric-id":685351,"id":"Q685351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4849648$BE586E38-D0F6-4C1A-904E-42CBCC9FE888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4849648$C76FF8D4-FADB-4FD5-929E-F1CDEF135D6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5eaeb2c9097fea69c487fbd2ea3e5d8c5e6a6b7a","datavalue":{"value":{"time":"+1996-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4849648$64FDF328-9D7B-4751-88F4-0DD204562E99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bb038b594b7ff250db4230705d09527658bc615","datavalue":{"value":"https://semanticscholar.org/paper/94ea3100907cc2f50b7a37c480f2ac4918210b4d","type":"string"},"datatype":"url"},"type":"statement","id":"Q4849648$9284B1A1-77E5-4630-BFF1-0BB1C15C8063","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849648$A8579321-596A-4A06-85B5-1AD014D313C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849648$126175D1-655A-487D-B66A-2B0A17AF6CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849648$D6781C4A-EFB8-401C-B78D-9B02D34473BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d675d15d099b24b9dedd01397c95bc391e4114ea","datavalue":{"value":"802494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849648$A86F4D67-FB9D-4FFA-B677-2E012D37EB45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849648$036391F1-CEE2-4FF2-A514-35AF42F19187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223816170336e450b5153f0a2790fb7090b3f7c6","datavalue":{"value":"specification systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849648$8CD466F8-BDE8-457E-B43D-81D232568216","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":"Q4849648$81825269-BE68-43C1-AC5A-F17E06E1B283","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6db093f78227e0634e790a02ec6531e989abd2ea","datavalue":{"value":"W1987150355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849648$8866BF0B-2F7D-45A0-8273-737D0C64A06F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"022f44085439405574cd7fd87ceef8e06767126d","datavalue":{"value":"10.1093/LOGCOM/5.5.631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849648$A34D7D94-F1DD-40AB-8AD5-A85AA72F01E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbdfb5680f3386dbc9b35f581e5d1573128bdad","datavalue":{"value":{"entity-type":"item","numeric-id":1915187,"id":"Q1915187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849648$D1841140-F443-4F8A-9009-44BDE1DBC9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33b033c6f23d4730fd2828d4a0b0fd41ff09f32","datavalue":{"value":{"entity-type":"item","numeric-id":4886736,"id":"Q4886736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8742ad33e68d8ef969a25bec641e9e717d69d52","datavalue":{"value":{"amount":"+0.9544699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849648$A12CF0DB-E31C-4BCD-8EED-81AA61DC0FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51852894019aff4da996e23e31ecb38fe929c33b","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39b3c7eb485a03f3224496a0da9699c388e9a38","datavalue":{"value":{"amount":"+0.9540579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849648$C8C88BB2-C663-4F58-8B56-876B292A2397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ca45c803917ea740855b6c448b851f7463e911","datavalue":{"value":{"entity-type":"item","numeric-id":1854445,"id":"Q1854445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d875f2bc19785904f76a199c5dc2b8ccaa064f42","datavalue":{"value":{"amount":"+0.91599303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849648$42EB4585-E9D7-464D-B4E1-16E2B811FDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff9add29d3228dc822276050093dcc722fd1991","datavalue":{"value":{"amount":"+0.912881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849648$8998E397-71DC-45F9-88DD-8C97697132D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb6bb34055bd7687681718ca2c7bf00c0ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":1057850,"id":"Q1057850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9966a5723ca952af533c7862759d0c0ab9c460","datavalue":{"value":{"amount":"+0.90232444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849648$EEF0EE77-0EE9-4916-AE56-1DF27C6ACCF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4849648$DCB0E4BF-C05F-4844-B891-C797CA82F854","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4849648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4849648"}}}}}