{"entities":{"Q3765741":{"pageid":5795647,"ns":120,"title":"Item:Q3765741","lastrevid":51844133,"modified":"2026-01-20T07:56:31Z","type":"item","id":"Q3765741","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4023238"}},"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":"Q3765741$46259783-5F84-4097-97EB-9372B5BB9B39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6d97857902932aac2cefb287c79f89e7f8d15de","datavalue":{"value":"0629.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765741$14854A52-786A-4F39-B8E2-CD250623E770","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daf3a0916fc0bea3a692369046f344486a860ef","datavalue":{"value":{"entity-type":"item","numeric-id":3325692,"id":"Q3325692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765741$D723BA9D-1566-46E2-ADF5-DD339492258C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3765741$17FE1047-84A9-462E-B184-8D4D0E8EA493","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765741$EE21E3A7-01DC-454D-A7D4-85B3A3E75F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765741$3D51AB42-FD87-4B8C-A09A-912C00FD6286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765741$672E5D4D-ABA1-443F-B24B-348EA7F8C91F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6236287e1be5ad9ec2a2ecb5987638205579f6ae","datavalue":{"value":"4023238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765741$AB7C5360-EE96-4B9C-B343-0B0FBE759594","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd08d21cf42626a72fbe64ab54bb2c0ccd236adc","datavalue":{"value":"predicate-functor logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765741$3972FD14-9DDE-4B5F-A257-BB477B8C2C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a25078c2ee5d6a1cc061d67cea1f0b4662a8d00","datavalue":{"value":"variable-free quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765741$987A4E48-97B4-4509-A6ED-5E3073F4C148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e269374e5a98e44a2949e7e46023a94d0f33df27","datavalue":{"value":"analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765741$61DC4886-168A-46B1-A659-2D6D13AE4D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcec5635ef470cacc136c87cca6c323f2be0f0b","datavalue":{"value":"elimination of bound variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765741$51303514-8164-4100-9913-38B8882E3686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48aae31fd2ef4b22e5c296370030c05e75833627","datavalue":{"value":"first-order logic with operation symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765741$CADD72C9-D104-41F4-A03B-4F555D26D818","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":"Q3765741$69307111-E795-43C2-A931-E26754F0CDDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f01351e1791b4a5255b43d9fe32de2206839c0","datavalue":{"value":{"entity-type":"item","numeric-id":3325693,"id":"Q3325693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94ce7b279629cb21230f95bd6200caa888a794c","datavalue":{"value":{"amount":"+0.9204358458518982","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":"Q3765741$155747D4-DA65-4F3C-8F48-C277F9219859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81184f8899efec0aa2bdd7514774c74e1c9234c0","datavalue":{"value":{"entity-type":"item","numeric-id":3714045,"id":"Q3714045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586e245c2a8c7ee0908e02a1eb28644a06c332be","datavalue":{"value":{"amount":"+0.7696083188056946","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":"Q3765741$D3DEF0F2-F581-447E-9E93-5DF51D224E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46fa7965451533b702c03ab9d89854532485dbac","datavalue":{"value":{"entity-type":"item","numeric-id":3469080,"id":"Q3469080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42482bcaddc3aecc0b763746dcd4dd59f16f75f","datavalue":{"value":{"amount":"+0.7360448241233826","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":"Q3765741$912EED14-6364-40C4-89E1-3CF23851ABB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f730ad8d819657b6ef363f80d889b1ba9312d8de","datavalue":{"value":{"entity-type":"item","numeric-id":4286215,"id":"Q4286215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580eabab5d9465e6c69225eb9ec67808a5f193fb","datavalue":{"value":{"amount":"+0.7230832576751709","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":"Q3765741$CE3494F6-EF19-4858-B28B-446DD7135B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23e6b9ba67df982a5064636ddf3a7148e4370a3","datavalue":{"value":{"entity-type":"item","numeric-id":3323916,"id":"Q3323916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9293504fe5c6c048925f181732dea48273e09a8f","datavalue":{"value":{"amount":"+0.7215034365653992","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":"Q3765741$377E9D77-6E27-4700-AA43-8FFCC7732D53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3765741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3765741"}}}}}