{"entities":{"Q3129297":{"pageid":3140013,"ns":120,"title":"Item:Q3129297","lastrevid":45514336,"modified":"2025-12-09T23:23:43Z","type":"item","id":"Q3129297","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004365"}},"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":"Q3129297$506B790C-007F-4DD9-A1BB-B3B8CE537784","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e952e0a0b3e4a5e529ba6a1953ae60d8b8b3fc0","datavalue":{"value":"0866.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129297$75192958-25B8-450E-9599-E113BDA65061","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8267b3be2b739476dcf61b4c89d4f97117c42016","datavalue":{"value":{"entity-type":"item","numeric-id":671658,"id":"Q671658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129297$024C0BEB-D6D8-4DCF-8A2C-8D0B6E0A550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129297$90089CD0-C994-439B-9C25-8ADE35AF9568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129297$05D99A86-0E88-4673-B40F-3209A2FBA1BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa5805ba62cdf66e74525c70566954d2cf6212fb","datavalue":{"value":{"time":"+1997-04-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":"Q3129297$10624D30-1A8F-41ED-9C15-8AC89B1EADFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129297$2CA35C3B-C81A-4484-A622-7344BD9F5A10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cca89369aa801b747a70f7360fd4e844a5ac709","datavalue":{"value":"1004365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129297$707F3EA8-E9CC-4FAF-BA82-BF859CDF78CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129297$F52FFFE3-CC9A-492B-89B1-FA1000C1FA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a97f28469349c57eaf45cda57e71984b548b1","datavalue":{"value":"simultaneous rigid \\(E\\)-unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129297$0A2A99D9-E318-4DBC-9879-4C2EC9964CB8","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":"Q3129297$EC03646A-3622-4B85-B608-15069F17D75D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4934a407f1d8c884db587f42db154a949f7f59a1","datavalue":{"value":{"entity-type":"item","numeric-id":4790398,"id":"Q4790398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3338825fb0f532693e10516f7625ce0fff79e72c","datavalue":{"value":{"amount":"+0.9809978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$E923078B-4C40-48E6-9E89-907782090304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0d05e3017f3ba17287c82928f9843aabc791e0","datavalue":{"value":{"entity-type":"item","numeric-id":3818292,"id":"Q3818292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73de624ff4fae618fc81b7168f5342aac7f5230d","datavalue":{"value":{"amount":"+0.88663787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$22D5AA4C-5613-4AFB-B09E-7DF5736DA958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8806f6611ae5db4c48eac5a76b3fc5923a94663f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb6e4531055ff3bd76e7c955996338cfd7d87b4","datavalue":{"value":{"amount":"+0.8839018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$0CA63267-8817-4600-B228-56010F87E595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87931669e1651228992cdbf1bcc05dfc01c8ee4e","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4159575b120a6399f6e725e4df82e1028d262253","datavalue":{"value":{"amount":"+0.88267374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$7625AE0D-D90D-4633-9378-11CCA6F15F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d98daaad6acefa6bd2fbcc9bbddcb4b4e606b","datavalue":{"value":{"entity-type":"item","numeric-id":3293390,"id":"Q3293390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2f4314cc96e27b91d8f58918b513e9a81acdbc","datavalue":{"value":{"amount":"+0.8739152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$26EB8296-CC2B-45A0-B66C-DF7FA3CDC9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fa88b9a58052f95dd2389b84358c6b5186ea9c","datavalue":{"value":{"entity-type":"item","numeric-id":3635861,"id":"Q3635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632e827af92c7aaf3bc4e54d73e97e1ee2f06552","datavalue":{"value":{"amount":"+0.8735908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$CC99A4E1-B8B4-423B-9756-2BD346F03271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d3275cb274c69c48366d1ebfdb48139456f16","datavalue":{"value":{"entity-type":"item","numeric-id":3698310,"id":"Q3698310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10167b51b7f358a6c14812502184846dd45a6f9","datavalue":{"value":{"amount":"+0.8718643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$2373F8A4-A687-4F6E-927B-10FA46553345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710d404b1f7eddfa543075d27999e3ebcc49af7d","datavalue":{"value":{"entity-type":"item","numeric-id":1085152,"id":"Q1085152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10167b51b7f358a6c14812502184846dd45a6f9","datavalue":{"value":{"amount":"+0.8718643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$52E3CEE2-9E52-44E6-97CE-08C936F9EA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0086ad137200c1e13e80fd6d0be25438baa0abfb","datavalue":{"value":{"entity-type":"item","numeric-id":5052010,"id":"Q5052010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac4d744ca2372aa2aaa8d5adc54cffe608850bb","datavalue":{"value":{"amount":"+0.86093885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$765BF0CA-B6AE-441A-96AD-9B9AF782F5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dab29410299994a7c67989be452809fbdeaff2","datavalue":{"value":{"entity-type":"item","numeric-id":2996163,"id":"Q2996163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ed351ff67f9623cf8c7859eace229dc1e425f3","datavalue":{"value":{"amount":"+0.8606055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3129297$2BD664A4-FE35-49C7-929F-92416AD55C9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3129297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3129297"}}}}}