{"entities":{"Q3240233":{"pageid":3250941,"ns":120,"title":"Item:Q3240233","lastrevid":48639523,"modified":"2026-01-05T11:25:41Z","type":"item","id":"Q3240233","labels":{"en":{"language":"en","value":"Ein Direkter Beweis f\u00fcr die Allgemein\u2010Rekursive Unl\u00f6sbarkeit des Entscheidungsproblems des Pr\u00e4dikatenkalk\u00fcls der Ersten Stufe mit Identit\u00e4t"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3124821"}},"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":"Q3240233$C52EB973-5790-4945-8B19-1C27BC24640D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3e14b58f56f8fb790630a790c67a81a379fcc4a","datavalue":{"value":{"text":"Ein Direkter Beweis f\u00fcr die Allgemein\u2010Rekursive Unl\u00f6sbarkeit des Entscheidungsproblems des Pr\u00e4dikatenkalk\u00fcls der Ersten Stufe mit Identit\u00e4t","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3240233$7C9AE313-B03E-47E9-B018-1B11A9784B78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b4a67d1b44ee39ca98a97c6f1dd2fff9d59b3a8","datavalue":{"value":"0075.00501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3240233$8189597E-7C27-4E36-B15D-7BC10D3CE393","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"295925f173150a9d627e4cb0a9939fc4fa3feb64","datavalue":{"value":{"entity-type":"item","numeric-id":562906,"id":"Q562906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3240233$014702D8-9678-4E1C-87FC-1C1EDF387FFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3240233$D0F589DB-B8AB-4938-96A0-4345EBC38864","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fdeec1d184478b3fdb458fc97fe9e12c6f6e278","datavalue":{"value":{"time":"+1956-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3240233$20BB97A5-36AC-4AE8-9C0B-B1F1806D4B23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dcfaad019cdda8dffe399c8f43baf96c0f230ee2","datavalue":{"value":"03Axx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3240233$90F983E2-C586-415E-8C22-BFB806699076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a74381a1b1d98a528e4083efaf3d4ee0a10b8c7","datavalue":{"value":"3124821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3240233$51B488C9-6DCF-41D2-B949-54A6E5271CDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b322e9ea5c6640b178a9efb405abd2588424ef8","datavalue":{"value":"Mathematical logic and foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3240233$E9738546-C2C5-4977-83F2-00B5EA12A063","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":"Q3240233$A025D181-D521-4E2C-AC92-942D1372EFAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8e96467af913ad8ccda3a23f26057b151af4c0e","datavalue":{"value":"https://doi.org/10.1002/malq.19560020102","type":"string"},"datatype":"url"},"type":"statement","id":"Q3240233$D65473AF-8E70-45A4-83FE-2DE5E4E95E2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b8af2eb602ee0b73f8c87dd81c3aef9488a9543","datavalue":{"value":"W2158630416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3240233$E1E5DB26-4EF1-41D4-9DDC-369C4BAED06C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71f3d7a65860a9d42aed6ed6ab9362c65ffd844b","datavalue":{"value":"10.1002/MALQ.19560020102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3240233$9E97D3D0-32B7-44BC-96F1-CD0C3E0079FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4eb7983057091ffc64a13c9611ae33ff0609a1","datavalue":{"value":{"entity-type":"item","numeric-id":3601404,"id":"Q3601404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e54914e96ccd0e9fe4971d43947baec8cfd81c4","datavalue":{"value":{"amount":"+0.7779186367988586","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":"Q3240233$C5D08017-83B9-447F-96E9-5F4BC9D6F7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6896738453fc6e2b9159920afb9ffdfe4e13b7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36292d718b19acf1f074c83364d5ccceac81cb88","datavalue":{"value":{"amount":"+0.7745863199234009","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":"Q3240233$353F66B5-C541-4570-A1DB-45281808A214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0de98b3b81a887308d990bc8764cad13ad6527e","datavalue":{"value":{"entity-type":"item","numeric-id":1780896,"id":"Q1780896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effa1d13e86c77df885a64545a7f86fffc7a156c","datavalue":{"value":{"amount":"+0.766546368598938","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":"Q3240233$AAD5EA1C-A7D6-43CF-AE82-4D53557DC172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec0c4844ee35e7f35f23a30a385ddb41de3fec7","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036b3f88e036fa60fdc8e71519481b6a7db93333","datavalue":{"value":{"amount":"+0.7612175941467285","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":"Q3240233$014D192A-473A-4763-98D7-93A76EBA4F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb001512014a8546eb723f44ac77c4be954100a","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfaaa6b676dfe2ad7fdf9bd9a3dc3ec120a719a6","datavalue":{"value":{"amount":"+0.7612173557281494","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":"Q3240233$43159042-6281-4864-AE76-DF1D25BF98F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3240233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3240233"}}}}}