{"entities":{"Q4647524":{"pageid":6677105,"ns":120,"title":"Item:Q4647524","lastrevid":97925198,"modified":"2026-06-05T15:49:21Z","type":"item","id":"Q4647524","labels":{"en":{"language":"en","value":"INKA: The next generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001916"}},"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":"Q4647524$B928A185-B328-42A6-8F9E-43E6F3ACC735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"595abb75cb48156ee6eda0658f9b5c3c4fafc70e","datavalue":{"value":{"text":"INKA: The next generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647524$D69038CE-4E64-4F68-9E2C-51F819688DC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9bcc88545fab04f2735ed808a3cba5a795f7017","datavalue":{"value":"1412.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647524$D5D8592D-70E7-497D-9B9B-0287D7534985","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83219f56741ad8eef22f0f01286a4316035d9ff6","datavalue":{"value":"10.1007/3-540-61511-3_92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647524$8856D848-7B1E-4F6C-8051-F60ECF096A5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ac163ba39953163eeb2acbe3fa2aeac41d812f","datavalue":{"value":{"entity-type":"item","numeric-id":1367076,"id":"Q1367076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$4CECE0D1-FC7B-4337-B2C4-B5D8F0FA1D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a63d4351f3940c699211f7c5b11a26579c68eb","datavalue":{"value":{"entity-type":"item","numeric-id":4647504,"id":"Q4647504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$CC8509FA-01A9-4384-9BAA-3F2757654783","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$7920A4EA-F166-4FA5-99C9-82E740524CC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647524$D04BECF7-93A3-4551-B41A-2C9399B481EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647524$EF9CCA84-91B2-44F6-B337-4C31ED4AAE2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ab13d8f3cca2d335aecb5f92ad18344652f7100","datavalue":{"value":"7001916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647524$F43ED2BC-083E-46A8-B89C-1515B0EA4171","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e7570fe1ab591c11640c69b073c4dbc2a3bc783","datavalue":{"value":"inductive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647524$7F91B708-35C3-4E91-A6F8-A18076AFD309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647524$563868C8-8E73-4C61-8B3C-5D77679597E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6037b5b18fb9c6262f33564e932b9e47aef03235","datavalue":{"value":"syntactical difference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647524$3BDEF168-81EF-4DFF-BB73-4923F7DD7F6B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a68cdd3e97b0168a20493dd016b20595a0a54bc5","datavalue":{"value":{"entity-type":"item","numeric-id":31435,"id":"Q31435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$B7D8AD60-00E5-49C6-816A-BCEF8218B259","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":"Q4647524$D5803679-0746-48D4-A705-464A3FCAD334","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14289c7d70c4ee7c23d6e51c3e0ae481d9e3f480","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_92","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647524$3A186526-7398-44E3-8F1B-00030B7322B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb60df1c0db49a1802e7f08172de871aaba767c8","datavalue":{"value":"W1490584023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647524$E2281382-0B17-487A-9A39-60137E16024C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$E148B4A8-8393-4887-947C-1AB0498B6103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$7A01755D-D8D7-425B-9DB6-9CAAF725EE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"413db7e9e3486e14d698141c457596a3a928e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":1367077,"id":"Q1367077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$5648C98E-CF4A-4D26-8212-4E056FE12EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d7c58120d8691240f8d8ac73c1eefdb8e57c52","datavalue":{"value":{"entity-type":"item","numeric-id":4647505,"id":"Q4647505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$CFC52462-99DE-4D0D-A5E5-C69BC0BAA355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$40DE403B-8B40-4AED-A7C3-1D93267717E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5230907bea404aa6c2fb79168521e88708f2a2ec","datavalue":{"value":{"entity-type":"item","numeric-id":6488528,"id":"Q6488528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647524$FA92A15B-A39F-4BBF-95CA-06051CB6DCD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3260a63b8050fb84b97845709d2086852744c8","datavalue":{"value":{"entity-type":"item","numeric-id":2014990,"id":"Q2014990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fa83d43b1c712b5b63cbe7efc7ecded543cddd","datavalue":{"value":{"amount":"+0.83104557","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":"Q4647524$CA43E062-D512-4FC6-AF44-86034FCF2F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ffbe34e240e9dc3eba32e89e8932a0cc56d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":5386578,"id":"Q5386578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44976c713759f8ecaec8aae82a6c41071470865","datavalue":{"value":{"amount":"+0.76024306","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":"Q4647524$B8EFBCD7-985F-42D9-B95A-A99424018F1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"INKA: The next generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/INKA:_The_next_generation"}}}}}