{"entities":{"Q5900728":{"pageid":8007036,"ns":120,"title":"Item:Q5900728","lastrevid":50958575,"modified":"2026-01-15T22:40:45Z","type":"item","id":"Q5900728","labels":{"en":{"language":"en","value":"Translation of resolution proofs into short first-order proofs without choice axioms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695418"}},"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":"Q5900728$C38EE2DC-44A5-441A-B5F8-835777D87480","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900728$1FCA512B-8B40-4179-B263-03E193BB8E4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99d1503d38eb7c5ac425810dcc8aa2a129a31f8f","datavalue":{"value":"1278.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900728$A59626A0-93BE-423A-BDB5-5F921A61E752","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af7e025189305bad11f686c710fe3b187470eaf","datavalue":{"value":{"entity-type":"item","numeric-id":438567,"id":"Q438567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900728$399631BA-D974-439D-9D4E-D8A665266D89","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":"Q5900728$35F38156-2AD8-4D07-BB25-BDE1FA7CBCEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-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":"Q5900728$56AE1716-CA9C-4A67-8940-8EBFE30CAE3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900728$AB116F55-88C7-44FA-BB59-4ED4B4DF80FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d1be3b885e956a43c02712f15b595ed5a8c60e3","datavalue":{"value":"5695418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900728$6A02A983-8A52-4AF9-BA17-9CB8931F27B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900728$3D8AE2B4-E867-4FDB-B81C-F8AAB0AA5215","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":"Q5900728$59837BD4-1959-4BA3-ABE1-6BA9FB5CCDE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900728$A700699E-57EE-4C0F-95D3-2CC801DEF2BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900728$E025DEAC-184C-40C3-A0A0-9473B69EF0D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900728$47497A0A-5A23-40A0-89B5-BFF5C5C26F87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9019475adb165e93be83e6ed4d8594c6772ab4a","datavalue":{"value":{"entity-type":"item","numeric-id":2486578,"id":"Q2486578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e8500834f1a54becba8bb462fcce08b8b81f38","datavalue":{"value":{"amount":"+0.9943276047706604","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":"Q5900728$EAF21DAB-7B78-4F23-AC39-A649B731545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fad119391ac0650fa8016c1ceba6481f2374b2","datavalue":{"value":{"entity-type":"item","numeric-id":3777987,"id":"Q3777987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9f45b5ca511ee72371c88094d70106b235e8fb","datavalue":{"value":{"amount":"+0.800070583820343","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":"Q5900728$955360BF-7722-4C9A-8F9D-71AA015A1423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f90d678a6e317f374f8cce2229fe81591e5210","datavalue":{"value":{"entity-type":"item","numeric-id":3525003,"id":"Q3525003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b201c71bac31f21dfa03704625bdfaf581c1da7c","datavalue":{"value":{"amount":"+0.7969610095024109","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":"Q5900728$EAD6ED3E-0D3B-4163-8573-168E5496B99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b6f5f0ca85edeee446ec0c09180658cfcac311","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c544b11e9fb4f2939cb0609218c76d35393aa660","datavalue":{"value":{"amount":"+0.7694874405860901","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":"Q5900728$79C6A3C4-15B5-456D-B6A8-3ABDCACF478A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1fb78904ad2e2d3511117dee4a1123476c2652","datavalue":{"value":{"entity-type":"item","numeric-id":972424,"id":"Q972424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7782d218a4bf7b7787454fc2aa14289c75f070","datavalue":{"value":{"amount":"+0.7608358860015869","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":"Q5900728$D7C58F4C-BBC0-4015-8088-E4F91C84FD35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900728"}}}}}