{"entities":{"Q3822148":{"pageid":5852054,"ns":120,"title":"Item:Q3822148","lastrevid":54171035,"modified":"2026-01-26T09:46:48Z","type":"item","id":"Q3822148","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095435"}},"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":"Q3822148$8F0363C5-5FFF-4B93-BBC6-E564D13CE9F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81f3e5b15a53e8f830a7c6597ece82e38671d098","datavalue":{"value":"0669.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822148$A25F189C-84B1-4A7C-8B93-CBA68F91016B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57008100bad657019fcfe84c68d8a3ec95ff2eaa","datavalue":{"value":{"entity-type":"item","numeric-id":766463,"id":"Q766463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822148$C938843D-E312-4FD2-9B87-B088052E0892","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3822148$F12CCA65-5E39-4D8A-A710-5A64D2735D0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822148$CFF7FF53-A81B-4376-9ADC-689F9B1B8BD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e3501c819b2f823108eb2d79b6f10e095650491","datavalue":{"value":"4095435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822148$AFB75D15-7E23-436C-B419-6F652B610D7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68257f6b06a1a76dee78d93f061b5cd7267505a5","datavalue":{"value":"intermediate predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822148$16B535EC-0CB7-4821-9689-062E3B0253E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280933c389d95f4603ba2d739329fb8e9d5bfca9","datavalue":{"value":"prenex normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822148$0256BB16-4EBA-42BA-9217-D020807F595C","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":"Q3822148$BEB72E77-7EB5-492C-8EFF-12B5B0F38A31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd550c3094da56996b5f0d5428cc44d0dfee405","datavalue":{"value":{"entity-type":"item","numeric-id":3755436,"id":"Q3755436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7b9a663bd1b41c59c0c6d1dca234c3a6a52923","datavalue":{"value":{"amount":"+0.7630330920219421","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":"Q3822148$CD80CC5E-1138-4BD2-80E0-9A5C61ADE2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f81cc5f4859fdf9ccbdadb8d68b3b38128a5822","datavalue":{"value":{"entity-type":"item","numeric-id":3312202,"id":"Q3312202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a561982a0d4d4bf91054710fbaac564ad21fd3","datavalue":{"value":{"amount":"+0.7122132778167725","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":"Q3822148$B4E38433-3817-4B3F-8927-5B23BAD6B71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25822fffe742da5ec1a1806dccd41d86c214f97","datavalue":{"value":{"entity-type":"item","numeric-id":3199400,"id":"Q3199400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41693eee9df5085307d7ba02471c51541ae8a39a","datavalue":{"value":{"amount":"+0.7062686681747437","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":"Q3822148$CA78AC63-4EEF-4AF9-9EBA-2FCF2EE7DA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8401de9453dbdd6a1add45cfc691db65b54dc163","datavalue":{"value":{"entity-type":"item","numeric-id":835180,"id":"Q835180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4126baf6416953e0156ae9819b7f073898b62928","datavalue":{"value":{"amount":"+0.7054043412208557","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":"Q3822148$C8A458DA-6046-4ED0-B1D7-95AE4C4F98A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0bbeb5ec2f0734561df456a990995bda877c11","datavalue":{"value":{"entity-type":"item","numeric-id":5288695,"id":"Q5288695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e817243aecdcf2198bc10e25a5d71e0b258ffa","datavalue":{"value":{"amount":"+0.7044857144355774","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":"Q3822148$B97565EE-2CBE-43A0-9A39-34E99F4F92F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3822148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3822148"}}}}}