{"entities":{"Q3345810":{"pageid":3356518,"ns":120,"title":"Item:Q3345810","lastrevid":48760306,"modified":"2026-01-05T19:30:11Z","type":"item","id":"Q3345810","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880144"}},"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":"Q3345810$D7657027-5C98-4418-9AD3-24A2B96535AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f140e6242353bb90cbf4851683b0211151efad9e","datavalue":{"value":"0552.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345810$4BEC0350-BE9B-4FC2-8408-EC59E15EBA79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5458720ee6835f26952e599c9e8cec7f7e76c587","datavalue":{"value":{"entity-type":"item","numeric-id":2999140,"id":"Q2999140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345810$AD29A810-8471-4A24-BDCE-6D3B1FA549B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab00628bd68994ca94d12fdf1aba49b3b1f33e2b","datavalue":{"value":{"entity-type":"item","numeric-id":3345809,"id":"Q3345809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345810$D1767430-79ED-4E5D-A83A-BD79F8D7B903","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3345810$BD5D3F7E-154C-49AB-8B43-4698D4B3C8B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345810$E989168D-BC52-44B1-8C41-2F42CF090A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345810$4B316B72-0B3D-4075-B3FA-B9530871D833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4713e70e75eb8f66b143332b4b5933cade030be2","datavalue":{"value":"3880144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345810$E698F8EF-BA2B-4AA0-B3F8-FB7A5F4BAE9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a0b8d0729f189c24193fb9a233c1d8f6d44838","datavalue":{"value":"existentially quantified variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345810$52F6C31C-19A6-406F-ACCA-A3DE5B6C5997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345810$0D60943D-DCFA-4E93-9E6F-0053789A38B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c267a75ea5d8093d3e37f6a21d8d393c8f488d0","datavalue":{"value":"constructive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345810$E6404E0D-BC88-4039-ABB6-F8B65137626E","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":"Q3345810$71373AC7-7609-4660-8B80-7E37F21CB011","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4a9b1bf4bf285de9b215ac2b9226b6c5771923","datavalue":{"value":{"amount":"+0.8309321403503418","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":"Q3345810$C641C834-E349-4D6C-A8AC-DBD220650C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61c96f7f35c4db5dcad8ab932e96a4276bfa605","datavalue":{"value":{"entity-type":"item","numeric-id":3977980,"id":"Q3977980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd4f0fea67531f1c731b7120397270d06b16312","datavalue":{"value":{"amount":"+0.8305931091308594","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":"Q3345810$10009EA9-1C1A-43A9-AB22-BB254590442D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443234213beb753f65056a37f918f0ed35d6dd53","datavalue":{"value":{"entity-type":"item","numeric-id":5210760,"id":"Q5210760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6ab47d1fc9ed44ebe0893c46b86fd67f5a092e","datavalue":{"value":{"amount":"+0.7996950745582581","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":"Q3345810$8DE8FF75-4F39-46EE-91A5-AD1835ED15F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704a49cab08e72b5b7eb95f34ca27569ea97ba64","datavalue":{"value":{"entity-type":"item","numeric-id":1595923,"id":"Q1595923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cafbeb9bd41a3d7f7c643f9d2de1ff0d30ab117","datavalue":{"value":{"amount":"+0.7957707047462463","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":"Q3345810$2E4B5BE0-1A00-4EC1-9830-942032A8463B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acae7827106ff96ace5bf936bf276eb1d61fdf50","datavalue":{"value":{"entity-type":"item","numeric-id":3827551,"id":"Q3827551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ddad44b93053c7d71c77d7b17cfa7704ca567a","datavalue":{"value":{"amount":"+0.7909504771232605","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":"Q3345810$9AA03187-E4CD-4E5E-9F0F-BF28E59705D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345810"}}}}}