{"entities":{"Q4395573":{"pageid":6425172,"ns":120,"title":"Item:Q4395573","lastrevid":46938306,"modified":"2025-12-25T21:41:03Z","type":"item","id":"Q4395573","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163949"}},"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":"Q4395573$E1A8F714-7481-4335-B323-E2D005D2F003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2658259cca21900875cef06f7cfeb319eb98783","datavalue":{"value":"0897.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395573$502F0D98-3475-424B-9844-95C361441D5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2169e3303ef0408889bf22a70a8a1fe32abf9c46","datavalue":{"value":{"entity-type":"item","numeric-id":598310,"id":"Q598310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4395573$CA0F0101-53DE-4D8B-A654-8DDDDAD45F67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7c4f0103c31dd03c07afd36e9597ef27a0e1e7e","datavalue":{"value":{"time":"+1998-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4395573$2B471B94-5D31-4CC6-A898-843989CBFD45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395573$F75F3549-9325-44B2-8BA6-709380A38240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccab0b8cbf67818ba3f063d62bed2909f01ed358","datavalue":{"value":"1163949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395573$F5A1F34A-944B-4052-B094-7CCFD4F31BC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2a6c4b8f9584d4bf630791f7cc3844ff07476b7","datavalue":{"value":"axiomatizable approximations for logics with additional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395573$32B6064D-CEBC-4802-820F-601656B42497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395573$04A5BB5A-3D37-4069-967C-5A04AAF09A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"257d38d6f555fa0ef053f6d68dc7b4b7b124e168","datavalue":{"value":"weak semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395573$C57BE932-2E77-4E49-8B08-64E0CE84E7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8911919ef56fc1f9f8936811809a879b9ca24577","datavalue":{"value":"branched quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395573$CBFB7D9F-B1D8-4593-89B4-7C1AE4D51F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8ca8d371805c8b69c4218dbaaa9bcb15a1b530b","datavalue":{"value":"duality operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395573$D5F5B225-41C2-423C-803D-EC4FA72E1E36","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":"Q4395573$DB7FCD15-B278-4023-B095-81CE87C5978A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c5da22e36fb8a8778f9051874f1a63f4f5c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3475261,"id":"Q3475261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2482708468474ccb5cdd89496eb428c14eba5c","datavalue":{"value":{"amount":"+0.791938304901123","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":"Q4395573$E5823ECB-D80C-4211-96A4-7DB518255191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fda531afc14e5c04aa7f00d3992f07ae4e6f38","datavalue":{"value":{"entity-type":"item","numeric-id":3211286,"id":"Q3211286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27343b1e6306cec5845128ef6f84ed56eeb057f","datavalue":{"value":{"amount":"+0.738430380821228","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":"Q4395573$D2E3F21F-C907-4616-8B62-06022BED9715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d77714fdbebda027f324b41b555d34213cb042","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8214d8bf235b377857c48fa3824beea8444c09b7","datavalue":{"value":{"amount":"+0.7344924211502075","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":"Q4395573$97D1D7A4-1035-42E3-8131-F3C0B381AA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98632613f597f44c3e846d752075a093b119add","datavalue":{"value":{"entity-type":"item","numeric-id":1361405,"id":"Q1361405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaedef8fa15552374bf6ddf18131559a98ce4c0d","datavalue":{"value":{"amount":"+0.7274168133735657","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":"Q4395573$64D47072-AFAA-4A0E-9BD8-513585DA745F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4395573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4395573"}}}}}