{"entities":{"Q3984230":{"pageid":6014100,"ns":120,"title":"Item:Q3984230","lastrevid":46219216,"modified":"2025-12-24T08:25:01Z","type":"item","id":"Q3984230","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25881"}},"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":"Q3984230$EA85C610-D717-4EFB-889C-2E09F651BD13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecd50489b6816c6c4ec941a4c5c047ae16456217","datavalue":{"value":"0737.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984230$DDFBED4B-2104-469D-9A0C-3499FBA2B5C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984230$BC3B2C49-262C-415B-AFF5-34CC7CB3D8E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"385896728594b26f0c1e26f73b9c279a0ede788c","datavalue":{"value":"https://eudml.org/doc/211877","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984230$183DC9FF-E8DF-4531-9E0C-D82956C3A1E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984230$B64B0CEC-3AA2-44D2-B8A0-C096641B738D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca182c9fc1ce6437b17cd56b976b41ac9040dbd4","datavalue":{"value":"25881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984230$8FC36DDB-FE3A-49D5-BD2A-3E93250C3563","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c235ba55f5dbf63c7214f1713a980a76907b6ea4","datavalue":{"value":"nonlinear Henkin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984230$7A0378AA-6E28-478A-B5CB-A292DB71B98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984230$939554EE-FF69-46B2-90B0-8FE54D74C85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984230$E24F3CED-7827-4A06-A225-4AD5405F0A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984230$03D10048-EE64-49F3-AFD6-0802CA338620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984230$E6E0A433-B66C-4936-8E60-D80280AF6714","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":"Q3984230$2ACAE321-E55C-4F23-B22A-683DF03F2472","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096384d9ed4d6391cd036ff90316be59d7a4b15b","datavalue":{"value":{"entity-type":"item","numeric-id":4395559,"id":"Q4395559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7a03afe136d9b659ab48488dc4b24dd6e7ba28","datavalue":{"value":{"amount":"+0.7623658180236816","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":"Q3984230$6DE659E1-7D58-4813-A712-88933AF83FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3985ee2e21281aa56695fe70a99bfcd0780d28","datavalue":{"value":{"entity-type":"item","numeric-id":1088983,"id":"Q1088983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6a48ae4832495f2ecb5edb89b7a24fb7563208","datavalue":{"value":{"amount":"+0.7462753057479858","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":"Q3984230$EDDDCD8B-4745-4AB6-8EDE-03CF26817562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bb16c56b01b547484be486ea212678e509d907","datavalue":{"value":{"entity-type":"item","numeric-id":5028310,"id":"Q5028310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd183ed08b214432606d72032f33239033f6ca5f","datavalue":{"value":{"amount":"+0.7447701096534729","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":"Q3984230$1EDF3D94-180D-4FA1-8DCD-026E87989B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074af5759ffdf1f1349822ccbb36965394aba7bc","datavalue":{"value":{"entity-type":"item","numeric-id":3789541,"id":"Q3789541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbfc027f419b47b9b8a9fff0969bc0c99366038","datavalue":{"value":{"amount":"+0.7387843132019043","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":"Q3984230$A95A1729-D95A-4124-A459-C34FC619D815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3984230","badges":[]}}}}}