{"entities":{"Q4364523":{"pageid":6394122,"ns":120,"title":"Item:Q4364523","lastrevid":46520265,"modified":"2025-12-24T23:16:50Z","type":"item","id":"Q4364523","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088208"}},"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":"Q4364523$05CD0A15-ED4E-454C-8644-CE141C683D7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8245c2a37dedb8c4368611fd025c51d9616789d","datavalue":{"value":"0884.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364523$9E50661C-E1B3-4B25-A667-8DE020371222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364523$B9C73B3B-5588-464C-81CA-CBBC0FE36197","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363664994bd3f98264ff6fc78db2cfbbaf8e3fbc","datavalue":{"value":{"time":"+1998-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364523$B991A3FD-E14E-41A5-B00C-8CF9F704D45E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364523$D09DDC82-9C36-4438-A6C9-98159E55CD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364523$E476BC42-3B0F-45C2-BE36-DAAE3E3C0808","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcac57bb7f644b862bf5849f8bfc40dfa17909d1","datavalue":{"value":"1088208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364523$C57AF355-B46F-4E24-A017-DBE6B50FCAA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e579825eb20c9b0531fc2ac57fb7c27c7fab2e66","datavalue":{"value":"simultaneous rigid \\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364523$A520F458-05BB-4318-BF9D-F37C75A3D8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364523$1F67A507-4734-4F63-BA5C-A2E4413B34B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364523$1DEDFD4E-EB6E-4926-98D5-D465E43FF375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a956e38a80f7bf7379ccc73e57905567ace5958b","datavalue":{"value":"prenex fragment of intuitionistic logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364523$E7285D0F-CDB3-473D-849E-6FC8C9EE7BB4","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":"Q4364523$CF6E71C3-9102-44BF-B067-0124BEE4E63D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956df42f4de023d55206f1fd8e1ca2e51671d53c","datavalue":{"value":{"entity-type":"item","numeric-id":3838767,"id":"Q3838767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ee1fbb5153addd37c8aace1af6c2db87857fc4","datavalue":{"value":{"amount":"+0.9358195066452026","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":"Q4364523$49C04D1A-5500-4C2B-90F8-99C5ACD1CD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2b6846de4fed4ad457da4792188d08e352b183","datavalue":{"value":{"entity-type":"item","numeric-id":671659,"id":"Q671659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbf3f89b29af6d798355dbfde0f26bf82b6a399","datavalue":{"value":{"amount":"+0.9338935613632202","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":"Q4364523$7FBBF120-19FE-495F-A0A9-95C36753D37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0453a8810dda2b3e0c388b4f63039f7110f22d7e","datavalue":{"value":{"entity-type":"item","numeric-id":1575636,"id":"Q1575636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1943bf2fa83c78746d27bc4c88e34aeb7f6d1dbf","datavalue":{"value":{"amount":"+0.9226719737052916","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":"Q4364523$D6232049-D03C-47E9-AB05-614397860962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca00412e2d39fc69bcc4de993d33880967df5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":4375199,"id":"Q4375199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103438b2f4172ca9f790103f1856e2ec90843a39","datavalue":{"value":{"amount":"+0.8976487517356873","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":"Q4364523$EE18892B-3D1C-49CF-95C0-B44CD5AC1F43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364523"}}}}}