{"entities":{"Q4012878":{"pageid":6042674,"ns":120,"title":"Item:Q4012878","lastrevid":55180084,"modified":"2026-02-04T12:17:42Z","type":"item","id":"Q4012878","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65530"}},"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":"Q4012878$456F89F2-5ED5-4417-8BFF-68EBB2A99B79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"195a55bd15c78a65fdbaeed37f62365a13214400","datavalue":{"value":"0757.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012878$0B289E0C-529C-4237-8B7A-609CE4FA9DB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfc5486de2c266afacf34e894fbfa155f1460354","datavalue":{"value":{"entity-type":"item","numeric-id":1183554,"id":"Q1183554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012878$5F325172-6488-4FBF-9B27-58B39A9BA8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a46782d404866d652115671aacbfc3a8c9a6d39","datavalue":{"value":{"entity-type":"item","numeric-id":615659,"id":"Q615659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012878$85E4603E-C60D-417A-8DB7-2C3678882C13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012878$6D80C47D-AC4C-431D-9A6D-5537A58F6772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012878$6CEFBF05-A3D4-41B5-8075-AD7E0FEF5CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012878$56722E29-FFEF-43AA-826A-71B6A18153CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012878$0CD56F99-17F5-4C13-AD9A-874084D8A5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012878$87152769-AA10-429E-9DD3-93E91E003B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012878$924FEE83-D03B-4D3D-9680-68EF6064ACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012878$FA4CF85E-27AD-49A2-985E-08AF6A67FEC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fece223282f2bae19d68ba3852352f41b81a549c","datavalue":{"value":"65530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012878$5BCEE630-017D-4EFA-B116-474B0599DF90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"032622a05e87a7c0b2bf8f1250a0b98ba48be2ad","datavalue":{"value":"Automath languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012878$D0FB37DB-71A2-484F-919B-0C9FF0795CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af6f277e5304d5f01664640bcd1eebdfd9c48e7","datavalue":{"value":"goal-directed proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012878$E6414B4F-FDC9-47F5-B65A-D85F4D2B7C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928b7758fb2b96083f1ee62f062dc6e16bb50aa2","datavalue":{"value":"proof construction in Generalized Type Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012878$A2582C5C-D254-4206-93EE-A4857B9D5217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012878$D98C1C8B-C665-405F-8BCB-C82BB50EA4DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012878$5B599275-CB72-4598-AAD4-9B72DFD81E7F","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":"Q4012878$CBE7FC08-0624-446B-ADB1-0BA8AF41FF2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ead96eb0dad59b33308a29c10c00c5949abf9c","datavalue":{"value":{"entity-type":"item","numeric-id":2723415,"id":"Q2723415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc13114e089f62aa24f4207967544ed1d75b1d57","datavalue":{"value":{"amount":"+0.8220556378364563","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":"Q4012878$D290CA13-645C-4CCF-897C-898170D0531B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22765ac8ffb85a071291794fae9576134e29d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5956945,"id":"Q5956945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde9855c3d5fb7683909fa15597bdf529ac72b19","datavalue":{"value":{"amount":"+0.822055459022522","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":"Q4012878$F35A9930-CA2F-4DAC-B91A-11F5A51CA0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08562885acdf630cb480dbe6bb784304badc973","datavalue":{"value":{"entity-type":"item","numeric-id":1868508,"id":"Q1868508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618ed9ea8d07f4b3b98eccc9015affbb73afcf3b","datavalue":{"value":{"amount":"+0.815710186958313","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":"Q4012878$41016424-DDA1-4FF1-80E9-03B96AADBE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776a7f81bcf627160ac001fd4998e9de8ac0400e","datavalue":{"value":{"entity-type":"item","numeric-id":4215639,"id":"Q4215639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618ed9ea8d07f4b3b98eccc9015affbb73afcf3b","datavalue":{"value":{"amount":"+0.815710186958313","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":"Q4012878$E419A85C-6B63-481F-9FEA-24F2D6CB0E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e39ac3ee7536d87b921b90eac5d0a3e6e1167fd","datavalue":{"value":{"entity-type":"item","numeric-id":4276174,"id":"Q4276174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b754853760c385213cda5e6fa8d18fa33e909936","datavalue":{"value":{"amount":"+0.7465739250183105","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":"Q4012878$C5C50C61-69D6-41B1-AC96-1D2B986D8157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012878"}}}}}