{"entities":{"Q5096400":{"pageid":7125976,"ns":120,"title":"Item:Q5096400","lastrevid":54382388,"modified":"2026-01-26T17:53:28Z","type":"item","id":"Q5096400","labels":{"en":{"language":"en","value":"On mechanizing proofs within a complete proof system for Unity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572224"}},"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":"Q5096400$3D2DC75D-B3AD-4F8B-9F9C-A63D9F0790F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"749bc29ff667a53948efbeb304a55c2a23b26440","datavalue":{"value":{"text":"On mechanizing proofs within a complete proof system for Unity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096400$5E44D439-2FD0-4ACA-9DA2-ADC5BC0D4088","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1600f1f578bd2ab3553a9c219c462fb5de04f244","datavalue":{"value":"1496.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$CF52C4E5-93D7-400C-8FCA-057171EEBAEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56b3d0ab6f238bc3ad980aaa5d6d1db4ba7b8353","datavalue":{"value":"10.1007/3-540-60043-4_67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$F2A4B1B7-BB25-4919-87C3-DFF74527513F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5cb1ebeaff695010add7e95eb9c6ffe691a31b","datavalue":{"value":{"entity-type":"item","numeric-id":5096399,"id":"Q5096399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$BC1F8E9B-E609-44A5-8846-0F2ACBE447EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40625566bbc3447ecf3e09eb5189acbafbffbc7e","datavalue":{"value":{"entity-type":"item","numeric-id":674006,"id":"Q674006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$0CD98325-89A5-4F39-A4A7-66E96D26C5C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$728DBB81-2117-483A-AF31-348E4A70989C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096400$DF89E4C6-0719-4474-A006-8F2EF740D3D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$C5163B8A-2F47-424E-8816-DCC89B249B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$1798B151-ABF6-4677-BED3-FDC07D78D9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$21191904-59F0-406A-A987-CEADC22FAD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$EAF04B10-11FE-4BA4-B2A0-71EA779875BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$0D61D36A-F0A9-4F29-9805-A6AD24D5A01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$E00D100E-59AB-4659-9847-787EC57708E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2951429e648e2d2535581c09e337ca2d85d1bec3","datavalue":{"value":"7572224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$8AA783EA-5271-4A56-945B-32C99BB571FC","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":"Q5096400$B3635F76-2D40-4478-B900-83CB20600A2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2c9dafa8f122abafb3690bd91d76ed6965adfef","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_67","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096400$B36749F0-C86F-4490-B65E-E2ABF07F8C4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bb9e4621dfea9f99067455030be9719fdbb6f7d","datavalue":{"value":"W2123718183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096400$FD9B80A1-670F-4C4A-9EF3-C194E942B24D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71372fdcb48501c76512b55e87a54968a7919d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$86E11BF6-8E7F-49AC-BF1C-BEF99F7544A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$7B3A3EBD-9F6E-442D-8C3E-F0B46B4E1F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$0FCA224B-33E3-4991-96A9-6F778EA60B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$72BC9D41-E525-443F-9F91-0258E86B1625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$B2E8B4DD-8893-48F2-B8CD-813E507BC1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4f47018fc165c9f632802b12aa19dc85adf46","datavalue":{"value":{"entity-type":"item","numeric-id":1190479,"id":"Q1190479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$EDED197A-76A9-4C2E-AB2B-3C1C48BD281C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$917B2A35-2A41-4945-A425-40348342B1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb987cbb9211107cab463efd1138fb24d64f425","datavalue":{"value":{"entity-type":"item","numeric-id":917327,"id":"Q917327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$8DF904BA-1627-4008-87AA-A4B9166ABEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b903410f1a6227646424166fe21e2772f833caf","datavalue":{"value":{"entity-type":"item","numeric-id":751848,"id":"Q751848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096400$CD95B7F4-ABEF-4DB3-A385-51F9AF2DCBC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c603be6679c6a0e44363904cdfa70bed1f9d1b98","datavalue":{"value":{"entity-type":"item","numeric-id":751848,"id":"Q751848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319df8e22f7ea8c1f3c9e4f80c64dca0564cf46e","datavalue":{"value":{"amount":"+0.8506078720092773","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":"Q5096400$A106A42C-1297-4E40-B1BB-65B401A97F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc4167b85600303bf6a63862a75410108e3edd8","datavalue":{"value":{"entity-type":"item","numeric-id":4470520,"id":"Q4470520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20cb34d7706b9acd69ae8d7cac14845cf0439ff","datavalue":{"value":{"amount":"+0.821282684803009","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":"Q5096400$D015A8A4-7C9A-43CE-B126-6B5BFEEB458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be41aca90c1e4a5e6559727d5ba87bc4fcef1b60","datavalue":{"value":{"entity-type":"item","numeric-id":1313738,"id":"Q1313738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c177ab35100a440b81003c84e9e1448e6485a812","datavalue":{"value":{"amount":"+0.7932829856872559","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":"Q5096400$410283BA-0663-44DD-A0DA-FDFD7D945DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123c98468e5cf1b64592ce854598c12cc291f51d","datavalue":{"value":{"entity-type":"item","numeric-id":5738896,"id":"Q5738896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe37632e82c7f3e08751d0dc94f7d627fec5b534","datavalue":{"value":{"amount":"+0.7371282577514648","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":"Q5096400$A0415F83-62A2-4383-B345-91A14C8BE416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b830a78a9d219d73e238ba2288bc9e5b0a6cd775","datavalue":{"value":{"entity-type":"item","numeric-id":1186571,"id":"Q1186571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a582f5fb1ecf2d00f90ce901a30cb834f4e0d673","datavalue":{"value":{"amount":"+0.7370849847793579","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":"Q5096400$A7A2B043-ADAD-4D00-9F8D-C41F78A3E608","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096400"}}}}}